Completed
Push — master ( b19bd7...3c8ace )
by Christian
26:19 queued 11:08
created

No notable changes

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

10
▶   ± 0
Head
christian  
remove support for php 7.1
Base
christian  
add tool configs