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 it basis, so if Christian's concerns get addressed I'll shepherd it upstream. James
