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