Thu, 07 May 2015 11:42:19 +0200Merge bugfix #473
Alpar Juttner <alpar@cs.elte.hu> [Thu, 07 May 2015 11:42:19 +0200] rev 1349
Merge bugfix #473

Thu, 07 May 2015 11:41:48 +0200Merge bugfix #473 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Thu, 07 May 2015 11:41:48 +0200] rev 1348
Merge bugfix #473 to branch 1.3