Tue, 26 May 2015 16:54:15 +0200Merge bugfix #598 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Tue, 26 May 2015 16:54:15 +0200] rev 1360
Merge bugfix #598 to branch 1.2