RaphaelKimmig/Gnome-Presentation-Mode — pull request #9 by whakim (2011-10-17 15:42:20+00:00)
Title: GNOME 3.2 Compatibility

This make the extension works on GNOME 3.2