Fri, 09 Aug 2013 14:07:27 +0200Merge bugfix #439
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 14:07:27 +0200] rev 1269
Merge bugfix #439