Tue, 08 Apr 2014 15:57:42 +0200Merge bugfixes #465, #484 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Tue, 08 Apr 2014 15:57:42 +0200] rev 1307
Merge bugfixes #465, #484 to branch 1.3