2017-06-15 15:33 GMT+02:00 Thomas Koenig <tkoe...@netcologne.de>: > Hi Janus, > >> It regtests cleanly on x86_64-linux-gnu. Ok for trunk? > > > OK. > > Thanks for the patch!
Thanks, Thomas! Committed as r249227. Cheers, Janus
2017-06-15 15:33 GMT+02:00 Thomas Koenig <tkoe...@netcologne.de>: > Hi Janus, > >> It regtests cleanly on x86_64-linux-gnu. Ok for trunk? > > > OK. > > Thanks for the patch!
Thanks, Thomas! Committed as r249227. Cheers, Janus