Wed, 28 Nov 2012 12:05:27 +0100Merge bugfix #453
Alpar Juttner <alpar@cs.elte.hu> [Wed, 28 Nov 2012 12:05:27 +0100] rev 1176
Merge bugfix #453

Wed, 28 Nov 2012 12:02:36 +0100Merge bugfix #453 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Wed, 28 Nov 2012 12:02:36 +0100] rev 1175
Merge bugfix #453 to branch 1.2