[Tutti-commits] branch release/4.0-RC3 deleted (was b3e3ae9)