Completed
Push — master ( 239205...f0cec0 )
by Marc
03:53 queued 01:44
created

No notable changes

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

8.02
▶   ± 0
Test Coverage
99%
▶ ±0%
Head
Marc Würth  
Merge pull request #40 from D4rkMindz/master
1 more commit
Base
Marc Würth  
Add PHP 7.2 by name as PHP nightly seems to be PHP 7.3-dev