Wed, 15 May 2019 13:33:55 +0200Backport relevant parts of bugfixes [ad22262328b3], [61fdd06833a6] and [4add05447ca0] to branch 1.2 (#623) 1.2
Alpar Juttner <alpar@cs.elte.hu> [Wed, 15 May 2019 13:33:55 +0200] rev 1424
Backport relevant parts of bugfixes [ad22262328b3], [61fdd06833a6] and [4add05447ca0] to branch 1.2 (#623)