Completed
Push — master ( 0903e7...a47f2e )
by no
02:39
created

No notable changes

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

9.87
▶   ± 0
Head
Thiemo Mättig  
Test DM=@dev with PHP 5.5 instead of 5.4
Base
Jeroen De Dauw  
Merge pull request #202 from wmde/phpVersions