Completed
Push — master ( 25817f...000f01 )
by John
02:28
created

No notable changes

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

9.93
▶   ± 0
Head
Andy Armstrong  
Merge remote-tracking branch 'upstream/develop' into develop
2 more commits
Base
john arroyo  
make php 7.1 the erdiko default; update phpunit install script for 7.1