Merge branch 'master' into mohr/polarLaplacian

27 jobs for mohr/polarLaplacian in 43 minutes and 55 seconds (queued for 3 minutes and 51 seconds)