Hello darcs developers, I've messed up the mailing list configuration, trying to fix something that may not have been a problem after all. So please be patient, and let me know if you have trouble posting. -- David Roundy http://www.darcs.net