Done.

However, could you check if Travis is correctly setup ? Because normally I should have the travis notifications in each PR, however I do not :'(.