Completed
Push — issue92 ( 00b339 )
by
unknown
07:30
created

No notable changes

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

9.37
▶   ± 0
Head
Karsten Hoffmeyer  
Update INSTALL.md
Base
jeroendedauw  
Merge branch 'master' of ssh://wmfgerrit/mediawiki/extensions/Maps