[darcs-devel] [patch1289] purify Darcs.UI.Defaults, fixing two problems on the way

[Ben Franksen]

Ben Franksen <benjamin.franksen at helmholtz-berlin.de> added the comment:

Setting the milestone to 2.10 for the reasons given below.

----------
milestone:  -> 2.10.0 HEAD

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1289>
__________________________________