Tue, 06 Aug 2013 17:58:59 +0200Merge #463
Alpar Juttner <alpar@cs.elte.hu> [Tue, 06 Aug 2013 17:58:59 +0200] rev 1082
Merge #463