Hello, Some time ago I reported bug #5087. I also added proposed patch. Can anyone look at this? Regards -Jakub
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