Don't merge this commit

I'm testing pre-merge builds from GitHub pull requests. Please don't
merge this nonsense-commit.