Completed
Push — master ( 6931e0...472be1 )
by Jeroen De
58s
created

Changes

Congratulations, you ran your first inspection on the master branch. Future inspections show changes here.

What's next?

???
Commit
jeroendedauw –
Merge branch 'master' of ssh://wmfgerrit/mediawiki/extensions/GitHub