JeroenDeDauw / GitHub

Completed

by Jeroen De

created 2017-06-14 17:19 UTC

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

9.86

▶ ± 0

Test Coverage

72%

▶ ±0%

Head	Jeroen De Dauw 2017-06-15 10:09 GMT+0200 Merge pull request #37 from JeroenDeDauw/mediawiki-extension
⋮	2 more commits
Base	Jeroen De Dauw 2017-06-09 08:02 UTC 1.3.0 release