On Fri, Oct 18, 2019 at 10:02:31AM +0200, pelzflorian (Florian Pelz) wrote: > On Fri, Oct 18, 2019 at 08:47:11AM +0100, Christopher Baines wrote: > > The change and patch looks reasonable to me. > > > Pushed. Thank you! > > >
I forgot prefixing the commit with doc. Too late now. Sorry.