[Observe-commits] branch release/4.0-RC7 deleted (was ba30d9c)