JeroenDeDauw / GitHub

Passed

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-14 19:19 GMT+0200 Update package type to mediawiki-extension
⋮	1 more commit
Base	Jeroen De Dauw 2017-06-09 08:02 UTC 1.3.0 release