[darcs-devel] [patch1709] throw an error if cleanly merging conflict resolutions fails
Ben Franksen
ben.franksen at online.de
Mon Jul 23 08:27:39 UTC 2018
> Ganesh Sittampalam <ganesh at earth.li> added the comment:
>
> Actually attaching this patch too :-)
Thanks Ganesh. Manually adding stuff to the tracker is tedious and I
tend to make stupid errors like forgetting to attach the bundle.
BTW, any news regarding move of our infrastructure to the new(-er) machine?
More information about the darcs-devel
mailing list