On 10/15/19 5:29 PM, Gerald Pfeifer wrote:
On Mon, 14 Oct 2019, Kyrill Tkachov wrote:Surely would be fine with me.I see, thanks. Here's a proposed patch then.My previous mail was meant to pre-approve your patch. ;-)
Right, I meant to take it as such, but got distracted with the committing :) Committed now. Kyrill
Yes, this is okay. Thanks, Gerald