Wed, 15 May 2019 13:41:19 +0200Backport relevant part of bugfix [4add05447ca0] to branch 1.3 (#623) 1.3
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)