Jason Dagit <dagitj at gmail.com> added the comment: Looks like this was rejected but not marked as such. Fixing that now :) ---------- status: amend-requested -> rejected __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/patch87> __________________________________