On Fri, 2019-12-13 at 18:51 +0100, Henning Schild wrote:> Hi all,> > that is a very useful contribution, which will hopefully be> considered.I'm technically the maintainer on the you touched it last you own itbasis, so if Christian's concerns get addressed I'll shepherd itupstream.James