Mute travis bot now that Not-f47f is back
Merge pull request #411 from dionyziz/mute_travis_bot

Mute travis bot now that Not-f47f is back