Completed
Push — master ( c763c4...284d43 )
by Andreas
06:04 queued 02:55
created

No notable changes

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

5.6
▶   ± 0
Head
Andreas Gohr  
output travis php version for easier debugging
Base
Andreas Gohr  
Merge pull request #2671 from splitbrain/issue2665