My first successful Pull Request

For my non-geek friends out there, this means a contribution of mine was accepted into a project that is used by an estimated 10,000+ software developers all over the world.

Pull Request #5638 fixes Issue #5631