Pushed manually to the master branch for now (commit 964ed0a).

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