Wed, 13 May 2009 09:50:14 +0100Merge various fixes 1.1 r1.1
Alpar Juttner <alpar@cs.elte.hu> [Wed, 13 May 2009 09:50:14 +0100] rev 845
Merge various fixes

Tue, 12 May 2009 12:09:55 +0100Merge 1.1
Alpar Juttner <alpar@cs.elte.hu> [Tue, 12 May 2009 12:09:55 +0100] rev 844
Merge