Hi all, I've just moved servers for bugs.darcs.net. I don't believe any bugs were lost (or fixed...) in the process, but if you notice anything odd with the server, please let me know. Thanks! -- David Roundy http://www.darcs.net