Completed
Push — master ( 16dfc5...e2fb7e )
by Jeroen De
52s
created

No notable changes

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

9.76
▶   ± 0
Test Coverage
89%
▶ ±0%
Head
Jeroen De Dauw  
Merge pull request #140 from wmde/phpVersions
1 more commit
Base
Jonas Kress  
Merge pull request #135 from wmde/statementsPatcher