On Mon, 16 Aug 2021 10:28:36 +0200 Hiltjo Posthuma <[email protected]> wrote:
Dear Hiltjo, > Thanks for the patch. I'd rather not add another option for it. > > I think if the default is not changed it still makes sense. Either > way the option works as documented. I understand, it's your call as the maintainer. Thanks for the quick response! With best regards Laslo
