[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