Fair enough, I'll change this back.  I pushed a tag up so the mithril `.travis.yml` could use it right away.  My plan was to just update the tag once the pr got merged, but I can just delete it instead and point mithril to master at that time.