Hi guys! On Tue, Dec 05, 2017 at 06:16:22PM +0100, Tim Düsterhus wrote: > William, > > Am 04.12.2017 um 16:09 schrieb William Lallemand: > > I prefer to leave this one, because otherwise the user won't understand why > > it > > killed the workers, and a grep on "exit-on-failure" in the documentation > > will > > find "no-exit-on-failure" so that's not a problem. > > > > Okay, updated patch sent (because I was not sure whether you / Willy > would edit it yourselves or not).
Now applied, thank you! Willy
