JeroenDeDauw / Maps

Completed

by Jeroen De

created 2019-12-22 06:27 UTC

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

9.38

▶ ± 0

Test Coverage

63%

▶ ±0%

Head	Jeroen De Dauw 2019-12-22 07:27 GMT+0100 Define dependency on mediawiki.user
Base	Jeroen De Dauw 2019-12-20 00:11 UTC Merge branch 'master' of https://github.com/JeroenDeDauw/Maps