Alpar Juttner <alpar@cs.elte.hu> [Wed, 15 May 2019 13:41:19 +0200] rev 1425
Backport relevant part of bugfix [4add05447ca0] to branch 1.3 (#623)
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)