Why was this closed and #791 opened? If it's because you wanted to make changes, you can just push them to existing branch and the pull request will update.

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