Just did it -- pressed 'comment and close' by mistake in the first phase, but anyhow I will have been closed after my commit.

—
Reply to this email directly or view it on GitHub.