On Tue, Dec 19, 2017 at 12:47 PM, Panicz Maciej Godek <xxxxxx@gmail.com> wrote:

Yes, a pull request is ready

Thank you. I have applied it and published the change.

Thanks to Jim for reporting the problem.