linuxmint/Cinnamon — pull request #1888 by mtwebster (2013-04-19 20:50:04+00:00)
Title: Gnome 3.8 compatibility rollup

Combines:

#1887
#1875
#1872

plus I'll add anything more I find.

For testing with 3.6 and 3.4