Merge branch 'master' into 'dev'

Synchronize Dev branch with Master

See merge request !12
1 job for 65-solid-self-intersection-false-positives in 5 minutes and 17 seconds (queued for 2 seconds)