[Observe-commits] 03/09: Merge branch 'release/4.0-RC2'