kazysmaster/gnome-shell-extension-lockkeys — pull request #22 by Bewahn (2014-05-15 14:33:18+00:00)
Title: Add 3.12 to list of compatible gnome-shell versions

... otherwise the extension cannot be activated on gnome 3.12.