Sun, 06 May 2012 16:52:11 +0200Merge bugfix #441 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Sun, 06 May 2012 16:52:11 +0200] rev 956
Merge bugfix #441 to branch 1.2