Merge pull request #22306 from cotequeiroz/python3-rebuild
authorJeffery To <[email protected]>
Sat, 7 Oct 2023 10:57:01 +0000 (18:57 +0800)
committerGitHub <[email protected]>
Sat, 7 Oct 2023 10:57:01 +0000 (18:57 +0800)
python3: avoid unnecessary rebuilds


Trivial merge