franziskuskiefer/app-keys-gnome-shell-extension — pull request #8 by MaximKraev (2014-04-15 18:44:25+00:00)
Title: 3.12 support

adds 3.12 support, looks like no problems with the latest stable verion