John Hasler wrote: [snip]
So the problem has already been reported. There are two things you can do: 1) Submit a patch that fixes the problem. 2) Wait.
How long would it take, normally? Arnaud.