Completed
Push — master ( d07fbf...b058e7 )
by Christophe
04:40
created

No notable changes

There were no notable changes in the changeset which was inspected.

7.19
▶   ± 0
Head
Christophe Demko  
Use correct php-coveralls
Base
Christophe Demko  
Use correct url