[ros-diffs] [ion] 25366: - Fix a bug in ExReleasePushLock which broken contention checking.