On Sat, Nov 12, 2016 at 1:46 PM, Michael Paquier
<michael(dot)paquier(at)gmail(dot)com> wrote:
> On Fri, Nov 11, 2016 at 11:03 PM, Albe Laurenz <laurenz(dot)albe(at)wien(dot)gv(dot)at> wrote:
>> This would avoid confusion, and we expect that few people will want to use
>> this option anyway, right?
>
> Definitely a good point.
Meh. I forgot docs and --help output updates.
--
Michael