JeroenDeDauw / Maps

Completed

by Jeroen De

created 2016-09-18 20:48 UTC

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

9.15

▶ ± 0

Head	jeroendedauw 2016-09-18 22:41 GMT+0200 WIP - Merged in Semantic Maps extension
Base	jeroendedauw 2016-09-18 20:41 UTC WIP - Merged in Semantic Maps extension