[darcs-devel] [patch2079] resolve issue2445: rename patches on suspend
bugs at darcs.net
Fri Jul 31 19:36:37 UTC 2020
Ganesh Sittampalam <ganesh at earth.li> added the comment:
> Do you think it is worth to rename patches when we convert and old-
> style rebase patch?
Sorry, forgot to comment on that: no, I don't think it's worth it,
particularly if it requires an unsafePerformIO.
Darcs bug tracker <bugs at darcs.net>
More information about the darcs-devel