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 1143
Merge bugfix #441

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 1142
Merge bugfix #441 to branch 1.2