Fri, 22 Feb 2013 14:12:48 +0100Merge #438 and #436
Alpar Juttner <alpar@cs.elte.hu> [Fri, 22 Feb 2013 14:12:48 +0100] rev 1014
Merge #438 and #436