Thread:User talk:Jeroen De Dauw/Travis CI mails

If you just received some mails from Travis CI: Sorry, I messed up and used a "git commit --amend" where I shouldn't have.