CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
4fc791b3
, finished
Related merge request !274 to merge robbert/set_map_filter
4 minutes 40 seconds, queued for 4 seconds