Completed
Pull Request — master (#678)
by Jakob
03:27
created
9.18
▲   + 0.02
Test Coverage
91%
▶ ±0%
Head
Jakob Warkotsch  
Merge 1a6953b1fd73ed6e67fd7fc3d32b772def850610 into 703b80718e8a593ddac4c2409d2dd2cd9b92f731
1 more commit
Base
Jeroen De Dauw  
Merge pull request #680 from wmde/drop-php53