Hi Thomas, Thanks for the OK. Pushed as to master as commit r11-6346-gc4a678981572c12d158709ace0d3f23dd04cf217
Cheers Paul On Sat, 26 Dec 2020 at 19:01, Thomas Koenig <tkoe...@netcologne.de> wrote: > Hi Paul, > > > Ping! > > OK. > > Thanks a lot! > > Best regards > > Thomas > -- "If you can't explain it simply, you don't understand it well enough" - Albert Einstein