Fri, 23 Mar 2018 16:09:06 +0100Merge bugfix #609 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Fri, 23 Mar 2018 16:09:06 +0100] rev 1390
Merge bugfix #609 to branch 1.3

Fri, 23 Mar 2018 15:43:30 +0100Merge #602
Alpar Juttner <alpar@cs.elte.hu> [Fri, 23 Mar 2018 15:43:30 +0100] rev 1389
Merge #602

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