DO NOT SUBMIT PULL REQUESTS! READ WIKI FIRST!

Please do not open a Pull Request on Github for this repo - they are ignored, and will not be merged. Read the Wiki for this repository to find out how to properly submit patches.

This is a dummy commit used to open this PR as a notice to others, because Github does not allow disabling the PR feature entirely. Do not merge. Commentary on this PR is similarly pointless.