[Observe-commits] branch release/4.0 deleted (was 8c98388)