Sun, 06 May 2012 17:18:39 +0200Merge bugfix #441
Alpar Juttner <alpar@cs.elte.hu> [Sun, 06 May 2012 17:18:39 +0200] rev 989
Merge bugfix #441