Completed
Pull Request — 7.x (#759)
by Leszek
10:37 queued 06:48
created

No notable changes

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

9.17
▶   ± 0
Head
Jeroen De Dauw  
Merge pull request #759 from wmde/rel710
1 more commit
Base
Kunal Mehta  
Remove MediaWiki integration (#758)