Fri, 22 Jun 2012 16:38:46 +0200Merge bugfix #444 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Fri, 22 Jun 2012 16:38:46 +0200] rev 1146
Merge bugfix #444 to branch 1.2

Fri, 22 Jun 2012 16:31:05 +0200Merge bugfix #444 to branch 1.1 1.1
Alpar Juttner <alpar@cs.elte.hu> [Fri, 22 Jun 2012 16:31:05 +0200] rev 1145
Merge bugfix #444 to branch 1.1