Merge branch 'robbert/intersection_difference_filter' into 'master'
Passed
Robbert Krebbers
created pipeline for commit
5b54d2cb
, finished
For master
11 minutes 17 seconds, queued for 4 seconds