linuxmint/Cinnamon — pull request #1993 by Cobinja (2013-05-09 15:07:31+00:00)
Title: Make cinnamon aware of workspace name gsetting changes

Addresses #1692