Tue, 20 Dec 2011 19:10:50 +0100Merge head merging to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Tue, 20 Dec 2011 19:10:50 +0100] rev 1110
Merge head merging to branch 1.2