linuxmint/Cinnamon — pull request #938 by autarkper (2012-07-19 16:09:35+00:00)
Title: Somewhat sparse storage of workspace names.

This is a follow-up to #931. It deals with how workspace names are stored. It also solves a few problems with #931.