Thanks. Applied the patch manually with commit 8992021, because the indentation was done with whitespaces instead of tabs. Also, for next time, format the commit message according with the suggestions from git commit guidelines (see the README.md) for more details.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub