Thu, 08 Nov 2012 09:07:41 +0100Merge bugfix #440
Alpar Juttner <alpar@cs.elte.hu> [Thu, 08 Nov 2012 09:07:41 +0100] rev 1006
Merge bugfix #440