Fri, 07 Nov 2008 14:17:44 +0000Merge bugfix #171 (see also #172) 1.0
Alpar Juttner <alpar@cs.elte.hu> [Fri, 07 Nov 2008 14:17:44 +0000] rev 389
Merge bugfix #171 (see also #172)

Fri, 07 Nov 2008 13:14:22 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Fri, 07 Nov 2008 13:14:22 +0000] rev 388
Merge