Merge branch 'develop' into cpp17

56 jobs for !799 with cpp17 in 208 minutes and 4 seconds (queued for 5 seconds)
latest merge request