Tue, 30 Jul 2013 15:24:45 +0200Merge #454
Alpar Juttner <alpar@cs.elte.hu> [Tue, 30 Jul 2013 15:24:45 +0200] rev 1241
Merge #454