Mon, 07 Jul 2014 11:57:45 +0200Merge bugfixes #480, #481, #482 and #487 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Mon, 07 Jul 2014 11:57:45 +0200] rev 1128
Merge bugfixes #480, #481, #482 and #487 to branch 1.3