[Observe-commits] branch release/4.0-RC1 deleted (was 6e2ec35)