Tue, 06 Aug 2013 12:28:37 +0200Merge further fixes #470
Alpar Juttner <alpar@cs.elte.hu> [Tue, 06 Aug 2013 12:28:37 +0200] rev 1253
Merge further fixes #470