[darcs-devel] mirror(s) on hub.darcs.net
Benjamin Franksen
ben.franksen at online.de
Fri Aug 31 14:30:32 UTC 2018
It seems the auto-push to darcs at hub.darcs.net:darcs/darcs-screened and
possibly other repos is broken. The latest change there is from April 19.
More information about the darcs-devel
mailing list