If you just received some mails from Travis CI: Sorry, I messed up and used a "git commit --amend" where I shouldn't have.
Topic on User talk:Jeroen De Dauw
I don't see any - either way don't worry about it :)
It should have been delivered around 19:25Z to the address jeroendedauw@gmail.com. Perhaps filtered as spam?