Gitlab is now using as it's primary address. Please update your bookmarks. FAQ.

Commit 0df2311b authored by Piotr Gawron's avatar Piotr Gawron
Browse files

Merge branch...

Merge branch '1508-the-map-happens-to-be-not-interactive-search-is-not-working-correctly' into 'master'

Resolve "The map happens to be not interactive; search is not working correctly"

Closes #1508

See merge request !1316
parents 624a6991 e31159d0
Pipeline #43265 passed with stage
in 24 minutes and 42 seconds