Fri, 22 May 2015 17:53:08 +0200Merge bugfix #598
Alpar Juttner <alpar@cs.elte.hu> [Fri, 22 May 2015 17:53:08 +0200] rev 1149
Merge bugfix #598