Thu, 17 Mar 2011 18:12:25 +0100Merge #416 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Thu, 17 Mar 2011 18:12:25 +0100] rev 1051
Merge #416 to branch 1.2

Thu, 17 Mar 2011 18:12:03 +0100Merge #416
Alpar Juttner <alpar@cs.elte.hu> [Thu, 17 Mar 2011 18:12:03 +0100] rev 1050
Merge #416