On Wednesday 26 September 2007 13:34:27 David Roundy wrote:

Here's some slightly verbose code to ensure that the tags in workspaces are always present on restart.

David

Wed Sep 26 14:33:09 EDT 2007 David Roundy <droundy@darcs.net> * merge old workspace tags with new on restart.

Applied. Don is working towards 100% code coverage of StackSet, one of us needs to write QuickChecks for these new functions or he may go berzerk ;).