Mon, 01 Dec 2008 13:48:26 +0000Merge fix #187 1.0
Alpar Juttner <alpar@cs.elte.hu> [Mon, 01 Dec 2008 13:48:26 +0000] rev 420
Merge fix #187

Mon, 01 Dec 2008 14:18:40 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Mon, 01 Dec 2008 14:18:40 +0000] rev 419
Merge