On 02/11/2016 08:40 AM, Bernd Schmidt wrote:
But again, if someone feels the docs patch as posted is preferrable, go ahead and approve it (for stage1 I assume).
TBH, I haven't looked at the documentation patch at all; I've been ignoring this issue because (a) I thought the technical details were still under discussion and (b) adding a new command-line option is stage 1 material not suitable to commit right now anyway.
I'll take a look at the docs once the name and behavior of the new option have been settled upon.
-Sandra