Merge remote-tracking branch 'origin/devel_15.0.x' into merge-15.0.3

32 jobs for merge-15.0.3 in 13 minutes and 37 seconds (queued for 8 seconds)