[Tutti-commits] 03/06: Merge branch 'release/4.0-RC4'