Mon, 07 Jul 2014 15:58:07 +0200Merge bugfix #474 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Mon, 07 Jul 2014 15:58:07 +0200] rev 1131
Merge bugfix #474 to branch 1.3

Mon, 07 Jul 2014 15:40:12 +0200Merge bugfix #474
Alpar Juttner <alpar@cs.elte.hu> [Mon, 07 Jul 2014 15:40:12 +0200] rev 1130
Merge bugfix #474