Bug#394946: unison: merge2 option rejected

2015-10-25 Thread Mark J . Nelson
fixed 394946 2.48.3-1 fixed 394946 2.40.102-2 thanks Triaging an old bug: I believe the maintainers can safely close this bug. The 'merge2' option was removed almost a decade ago, and the documentation has long since been updated to remove any lingering confusion. -- Mark J. Nelson Anadrome

Bug#394946: unison: merge2 option rejected

2006-10-24 Thread Sylvain Le Gall
Hello, On Sun, Oct 22, 2006 at 01:08:13PM +0100, Reuben Thomas wrote: Package: unison Version: 2.13.16-5 Severity: normal If I use a merge2 option in a profile, it is rejected as an invalid option by the current version of unison-gtk, but I can't see anything in the documentation telling

Bug#394946: unison: merge2 option rejected

2006-10-23 Thread Reuben Thomas
Package: unison Version: 2.13.16-5 Severity: normal If I use a merge2 option in a profile, it is rejected as an invalid option by the current version of unison-gtk, but I can't see anything in the documentation telling me that this option has been removed, and strings tells me that there is still