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