On Sat, Jul 13, 2019 at 07:04:50PM +0100, Ian Lynagh wrote: > * You can "darcs --make-this-repo-nonportable" Oh, this doesn't work if you have a "add a"+"add A" conflict in your history. Thanks Ian