Mon, 18 Mar 2013 18:48:58 +0100Merge #442
Alpar Juttner <alpar@cs.elte.hu> [Mon, 18 Mar 2013 18:48:58 +0100] rev 1055
Merge #442