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

Reply via email to