[darcs-devel] darcs patch: Rename ColourPrinter to ColorPrinter. (and 4 more)

Eric Kow eric.kow at gmail.com
Wed Apr 23 12:06:57 UTC 2008


>  Applied, thanks! The wording looked fine to me.  Not quite sure why Gwern
>  gets assigned anonymous patches... does he have his EMAIL set to anonymous?

He had submitted some patches with empty string for author.

-- 
Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
PGP Key ID: 08AC04F9


More information about the darcs-devel mailing list