Tiny change
I don't know why I'm doing this.  git just asked me to commit.
Yet another commit with no notable change.
Merge branch '0.1-devel' of https://github.com/bwyunker/anttagonists into 0.1-devel