Mon, 12 Oct 2009 15:37:13 +0100Merge bugfix in #250
Alpar Juttner <alpar@cs.elte.hu> [Mon, 12 Oct 2009 15:37:13 +0100] rev 798
Merge bugfix in #250