jfb, you now have commit rights, can you please commit these fixes if they are tested enough, and close this bug?
thanks!
jfb, you now have commit rights, can you please commit these fixes if they are tested enough, and close this bug?
thanks!