Merge branch 'dev' into 'master'

Fix: False positive self-intersection errors

See merge request !5
1 job for master in 1 minute and 7 seconds (queued for 3 seconds)
Status
Job
Stage
Name
Duration
Coverage
No jobs to show

Summary

410 tests 5 failures 0 errors
98.78% success rate 19.34s

Jobs

Job
Duration
Failed
Errors
Skipped
Passed
Total
Suite
build
Duration
19.34s
Failed
5
Errors
0
Skipped
0
Passed
405
Total
410