linuxmint/Cinnamon — pull request #786 by AlbertJP (2012-06-18 17:07:31+00:00)
Title: Port workspaces on primary monitor to gsettings

Since #509 was closed, we can do this without merge conflicts.