[Observe-commits] branch release/4.0-RC3 deleted (was 9cbec54)