PR5087

Hello,

Some time ago I reported bug #5087. I also added proposed patch. Can anyone look at this?

Regards
-Jakub

Thanks for pinging this, I didn't see it. Applied in r83822, please close the bug. Thanks a lot!

-Chris