[darcs-devel] [patch1234] patch index creation memory improvements
Ganesh Sittampalam
bugs at darcs.net
Fri Dec 12 20:10:39 UTC 2014
Ganesh Sittampalam <ganesh at earth.li> added the comment:
I checked again and I'm fairly sure your repro is fine without both
of these patches, or with both of them, but fails if either one is
on its own:
patch index: change order of on-disk pids
patch index: adapt removePidSuffix to the new order of pids
Anyway, we're both happy with the end result, so the intermediate
details don't matter too much.
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1234>
__________________________________
More information about the darcs-devel
mailing list