Thomas Koenig Sun, 17 Feb 2019 12:47:25 -0800
Hi Harald,
OK for trunk?
OK. Thanks for the patch! Regards Thomas