Tue, 06 Aug 2013 12:21:06 +0200Merge further fixes #470 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Tue, 06 Aug 2013 12:21:06 +0200] rev 1249
Merge further fixes #470 to branch 1.2