Thomas Koenig Sat, 23 Feb 2019 10:10:57 -0800
Hi Harald,
OK for trunk? Or rather wait for post-9.1?
I think this can go into current trunk. Thanks! Regards Thomas