On 07/18/2016 01:45 PM, James Youngman wrote:
> On Mon, Jul 18, 2016 at 6:52 AM, Bernhard Voelker <[email protected]>
> wrote:
>> a) --interactive=default-no        vs.  --interactive=default-yes

> I have a preference for (a) [...]

Great, let's do it that way, thanks!

Have a nice day,
Berny

Reply via email to