Fri, 23 Mar 2018 15:39:54 +0100Merge bugfix #608
Alpar Juttner <alpar@cs.elte.hu> [Fri, 23 Mar 2018 15:39:54 +0100] rev 1388
Merge bugfix #608

Fri, 23 Mar 2018 15:37:23 +0100Merge bugfix #609
Alpar Juttner <alpar@cs.elte.hu> [Fri, 23 Mar 2018 15:37:23 +0100] rev 1387
Merge bugfix #609