Tommaso Cucinotta Sat, 15 Aug 2009 15:46:50 -0700
Just attached a patch to the bug #6133. AFAICS, it fixes the issue.
Again, would kindly ask somebody to apply it to trunk. T.
