Wed, 07 Nov 2012 18:13:26 +0100Merge bugfix #440 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Wed, 07 Nov 2012 18:13:26 +0100] rev 1169
Merge bugfix #440 to branch 1.2

Wed, 07 Nov 2012 18:10:07 +0100Merge bugfix #440 to branch 1.1 1.1
Alpar Juttner <alpar@cs.elte.hu> [Wed, 07 Nov 2012 18:10:07 +0100] rev 1168
Merge bugfix #440 to branch 1.1