Merge branch dev into bugfix/fix_ortho_cut.

3 jobs for bugfix/fix_ortho_cut in 25 minutes and 11 seconds (queued for 24 minutes and 59 seconds)