[darcs-devel] [patch1058] Increase efficiency of patch index update.

[Guillaume Hoffmann]

Guillaume Hoffmann <guillaumh at gmail.com> added the comment:

OK the change looks fine to me although I'm not the most confident to 
judge.

----------
status: needs-review -> accepted

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