Mon, 12 Oct 2009 15:30:18 +0100Merge bugfix in #250 1.1
Alpar Juttner <alpar@cs.elte.hu> [Mon, 12 Oct 2009 15:30:18 +0100] rev 856
Merge bugfix in #250

Mon, 05 Oct 2009 20:21:31 +0200Merge #317 1.1
Alpar Juttner <alpar@cs.elte.hu> [Mon, 05 Oct 2009 20:21:31 +0200] rev 855
Merge #317