Tue, 30 Jul 2013 15:53:02 +0200Merge bugfix #461 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Tue, 30 Jul 2013 15:53:02 +0200] rev 1244
Merge bugfix #461 to branch 1.2

Tue, 30 Jul 2013 15:52:38 +0200Merge bugfix #461 to branch 1.1 1.1
Alpar Juttner <alpar@cs.elte.hu> [Tue, 30 Jul 2013 15:52:38 +0200] rev 1243
Merge bugfix #461 to branch 1.1