Patches and development discussion for Mitch.
Learn to use email with git! https://git-send-email.io/
...or don't, if you don't care about learning new workflows, you can send a pull request on GitHub, I'll take it.
No one has posted to this list yet.