Completed
Push — master ( 9dcb01...360f77 )
by Michael
05:31
created

No notable changes

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

9.09
▶   ± 0
Head
Michael Babker  
Disallow PHP 7.2 failures, run dev dep build on PHP 7.1
Base
Michael Babker  
Remove file