[darcs-devel] [patch1517] rename Darcs.Repository.HashedRepo to Da... (and 6 more)

Ben Franksen bugs at darcs.net
Wed Mar 15 17:45:30 UTC 2017


Ben Franksen <ben.franksen at online.de> added the comment:

I haven't looked at all these changes in detail but I am convinced that
the result is more sane than what was there before! Besides I am working
with screened all the time and noticed no problems.

----------
milestone:  -> 2.12.4
status: needs-review -> accepted

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1517>
__________________________________


More information about the darcs-devel mailing list