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 1160
Merge bugfix #607