On 01/03/21 15:54, Markus Armbruster wrote:
warning: -writeconfig foo: -writeconfig is deprecated without replacement
warning: -writeconfig foo: option is deprecated; there is no replacement
Hmm I don't know. I like the brevity, but I find it to be less
user-friendly. And the "it" and "this option" sound wrong on a separate
line. Maybe it's just me.
Paolo
Properly guarded, we could have something like
warning: -writeconfig foo: option -writeconfig is deprecated
This option will go away with no replacement.
I'm glad you like &error_fatal, too! I have had to defend it a few
times
