1 patch for repository http://darcs.net/screened:
patch 45d7b402a5dbdb6c8f15691d776ff035af91d510
Author: Ben Franksen <ben.franksen@online.de>
Date: Tue Feb 18 09:30:18 CET 2020
* change the email address for bug reports to bugs@darcs.net
I think it is better to let users directly send bug reports to the tracker,
rather than via @darcs-users. This ensures they aren't lost and saves us
some manual work.