Thread:User talk:^demon/Mail from travis CI

Sorry for the mail from Travis CI you (and gerrit@wikimedia.org) received. That shouldn't happen again.