Thanks! Commit pushed manually to avoid the extra two merging notifications from this PR. I think you need to pull and do fast forward before making the pull request not to have those Merge ... commits as part of the PR.

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