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 1069
Merge fix #470