It seems the address jzsf at vip.sina.com is subscribed to darcs-devel but absent and automatically sending replies. Can someone who knows how to do this please delete this user from the mailing list? Thanks Ben -- "Make it so they have to reboot after every typo." ― Scott Adams