Tue, 19 Sep 2017 15:23:43 +0200Merge bugfix #607
Alpar Juttner <alpar@cs.elte.hu> [Tue, 19 Sep 2017 15:23:43 +0200] rev 1376
Merge bugfix #607

Tue, 19 Sep 2017 15:22:08 +0200Merge bugfix #607 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Tue, 19 Sep 2017 15:22:08 +0200] rev 1375
Merge bugfix #607 to branch 1.3

Tue, 19 Sep 2017 15:19:48 +0200Merge bugfix #607 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Tue, 19 Sep 2017 15:19:48 +0200] rev 1374
Merge bugfix #607 to branch 1.2