Tue, 30 Jul 2013 15:12:17 +0200Merge fix #470 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Tue, 30 Jul 2013 15:12:17 +0200] rev 1238
Merge fix #470 to branch 1.2