Thank you for your interest in contributing to this project!

Please **do not** submit a pull request on GitHub.  This repository is
an automated mirror, and I don't develop using GitHub's platform.

Instead, please see CONTRIBUTING.md for patch submission info.