Alpar Juttner <alpar@cs.elte.hu> [Sun, 06 May 2012 17:18:39 +0200] rev 1143
Merge bugfix #441
Alpar Juttner <alpar@cs.elte.hu> [Sun, 06 May 2012 16:52:11 +0200] rev 1142
Merge bugfix #441 to branch 1.2
Alpar Juttner <alpar@cs.elte.hu> [Sun, 06 May 2012 16:46:14 +0200] rev 1141
Merge bugfix #441 to branch 1.1