Skip to content
Snippets Groups Projects

Merge branch 'gmap-2014-12-23' into 'devel'

Passed
van den Berg created pipeline for commit 2c1d312f
, finished
1 related merge request: !7 Merge development into master
8 jobs 51 minutes 49 seconds, queued for 1 seconds