Merge branch 'mm/mediawiki-as-a-remote'
[git] / t / t5100 / patch0013