Merge pull request #22306 from cotequeiroz/python3-rebuild
authorJeffery To <jeffery.to@gmail.com>
Sat, 7 Oct 2023 10:57:01 +0000 (18:57 +0800)
committerGitHub <noreply@github.com>
Sat, 7 Oct 2023 10:57:01 +0000 (18:57 +0800)
python3: avoid unnecessary rebuilds


Trivial merge