[darcs-users] darcs patch: resolve issue1131

David Roundy droundy at darcs.net
Wed Oct 8 13:39:43 UTC 2008

On Wed, Oct 08, 2008 at 03:55:36PM +0400, Dmitry Kurochkin wrote:
> Hello!
> I am not able to reproduce the issue. So it is not tested. But it is
> pretty simple so I do not think it introduces any new bugs (and
> hopefully fixes one :)).

I don't think that I mentioned that I've applied this and will push it
soon.  Thanks for the fix! As I mentioned in the other email, it does
look both correct and safe.


More information about the darcs-users mailing list