On Oct 10, 2009, at 8:19 AM, Jakub Staszak wrote: > Hello, > > Some time ago I reported bug #5087. I also added proposed patch. Can > anyone look at this? Thanks for pinging this, I didn't see it. Applied in r83822, please close the bug. Thanks a lot! -Chris