Completed
Push — master ( a08f14...674e9c )
by Jeroen De
16s queued 11s
created

No notable changes

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

9.49
▶   ± 0
Test Coverage
64%
▶ ±0%
Head
Jeroen De Dauw  
Merge pull request #620 from JeroenDeDauw/rel7190
1 more commit
Base
Jeroen De Dauw  
Merge branch 'master' of https://github.com/JeroenDeDauw/Maps