Tue, 30 Jul 2013 15:14:29 +0200Merge fix #470
Alpar Juttner <alpar@cs.elte.hu> [Tue, 30 Jul 2013 15:14:29 +0200] rev 1239
Merge fix #470