Timwi wrote:
Guys! Please keep this on the mailing list, and don't reply to me personally. Thanks!
(Maybe the mailing list administrator should set a Reply-To header?)
I think it's fixed now...
Brion wrote:
Note that there may be an effect on usernames
I'll leave the usernames capitalised, I guess.
You'll also have to ensure that new usernames remain capitalized.
-- brion vibber (brion @ pobox.com)