Completed
Push — master ( 32c235...904f18 )
by Ingo
02:50
created

No notable changes

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

5.54
▶   ± 0
Head
Ingo Schommer  
Pin PHP7 build to 7.1.2
3 more commits
Base
Ingo Schommer  
Fixed linting