Completed
Push — master ( 8d0fa8...483be6 )
by Marco
08:12 queued 03:28
created

No notable changes

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

9.92
▶   ± 0
Test Coverage
100%
▶ ±0%
Head
Marco Pivetta  
Merge pull request #439 from Ocramius/feature/tidelift-and-professional-support
1 more commit
Base
Marco Pivetta  
Merge pull request #435 from malukenho/ci/allow_php73