Completed
Push — master ( a47f2e...6b0792 )
by
unknown
30s
created

No notable changes

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

9.87
▶   ± 0
Head
Marius Hoch  
Merge pull request #203 from wmde/number080
1 more commit
Base
Thiemo Mättig  
Test DM=@dev with PHP 5.5 instead of 5.4