[Observe-commits] branch release/4.0-RC4 deleted (was 2e94d4d)