update
07110ee7ff07de4d7bc6f675610c48e031f1e102
45f00785e9b072e29dc7802f590d7af0e47898a2
@@ -1,5 +1,8 @@ (Format: Year/Month/Day) Changes for 0.9.12 +*04/12/30: + * Fixed "remove last workspace" bug (Henrik) + Screen.cc *04/12/28: * Fixed minor shape bug (Henrik) Window.cc
@@ -1,5 +1,8 @@