Completed
Push — merge-sm ( 335c28...9eb445 )
by Jeroen De
35:30 queued 32:41
created

No notable changes

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

9.15
▶   ± 0
Test Coverage
1%
Head
jeroendedauw  
WIP - Merged in Semantic Maps extension
Base
jeroendedauw  
WIP - Merged in Semantic Maps extension