Wed, 22 Sep 2010 09:38:23 +0200Merge bugfix #392
Alpar Juttner <alpar@cs.elte.hu> [Wed, 22 Sep 2010 09:38:23 +0200] rev 1011
Merge bugfix #392

Wed, 22 Sep 2010 09:32:53 +0200Merge bugfix #392 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Wed, 22 Sep 2010 09:32:53 +0200] rev 1010
Merge bugfix #392 to branch 1.2