Merge pull request #236734 from wegank/scid-vs-pc-bump
scid-vs-pc: 4.22 -> 4.24
authored by Weijia Wang and committed by GitHub 2 years ago 432adce9 86c9ff1d