[Observe-commits] branch release/4.0-RC5 deleted (was 4bb0f4b)