Merge branch 'master' into python-wo-pip

36 jobs for PR-144 in 87 minutes and 44 seconds (queued for 9 seconds)
latest