Completed
Pull Request — master (#78)
by Jeroen De
07:54 queued 01:48
created

No notable changes

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

8.32
▶   ± 0
Test Coverage
10%
▶ ±0%
Head
Jeroen De Dauw  
Merge db55679da98aa6bc6dacf88d510bc066a677a8d7 into fc20dd2013fcb192cf5574091494cdbf6f06b6fe
2 more commits
Base
Jeroen De Dauw  
Merge pull request #80 from SemanticMediaWiki/rmphp53