[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.
David
More information about the darcs-users
mailing list