On Wed, Nov 22, 2017 at 10:25 PM, Thomas Koenig <tkoe...@netcologne.de> wrote: > Am 22.11.2017 um 21:06 schrieb Janne Blomqvist: >> >> Is that better? Ok for trunk? > > > Yes, OK. > > Thanks a lot for the patch!
Thanks, committed as r255077! -- Janne Blomqvist
