Jason Dagit <dagitj at gmail.com> added the comment: This has been sitting for a while, post review. Should it be marked as obsoleted or similar? __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/patch39> __________________________________