On Mon, 4 Jan 2021, Martin Liška wrote: > I support the suggested patch.
Thank you, Martin. Matthew, I would argue that for patches like this you do not need to seek approval (though you are aways welcome to seek review). And thanks for clarifying this wording. For the benefit of the doubt: This is ok. :) Gerald
