Merge branch 'dev' into 'master'

Fix: False positive self-intersection errors

See merge request !5
1 job for 3.14.1 in 1 minute and 1 second (queued for 2 seconds)
latest
Status
Job
Stage
Name
Duration
Coverage
No jobs to show