Tue, 20 Dec 2011 17:35:45 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Tue, 20 Dec 2011 17:35:45 +0100] rev 959
Merge

Tue, 01 Nov 2011 13:59:35 +0100Merge bugfix #430
Alpar Juttner <alpar@cs.elte.hu> [Tue, 01 Nov 2011 13:59:35 +0100] rev 958
Merge bugfix #430