Tue, 20 Dec 2011 19:43:58 +0100Merge #432 and #433
Alpar Juttner <alpar@cs.elte.hu> [Tue, 20 Dec 2011 19:43:58 +0100] rev 971
Merge #432 and #433