[Merged by Bors] - opt maybe_update_best_child_and_descendant
: remove an impossible case#4583
Closed
zhiqiangxu wants to merge 1 commit intosigp:unstablefrom
Closed
Commits
Commits on Aug 9, 2023
- committed