Completed
Push — master ( 585633...457a5f )
by Andreas
03:56
created

No notable changes

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

5.6
▶   ± 0
Head
Andreas Gohr  
use a script to fetch the correct phpunit
Base
Andreas Gohr  
Revert "output travis php version for easier debugging"