Fri, 22 Jun 2012 16:42:05 +0200Merge bugfix #444
Alpar Juttner <alpar@cs.elte.hu> [Fri, 22 Jun 2012 16:42:05 +0200] rev 991
Merge bugfix #444