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