Fri, 25 Jun 2010 06:41:55 +0200Merge bugfix #371
Alpar Juttner <alpar@cs.elte.hu> [Fri, 25 Jun 2010 06:41:55 +0200] rev 988
Merge bugfix #371

Fri, 25 Jun 2010 06:00:56 +0200Merge bugfix #372
Alpar Juttner <alpar@cs.elte.hu> [Fri, 25 Jun 2010 06:00:56 +0200] rev 987
Merge bugfix #372