[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