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


Trivial merge
git clone https://git.99rst.org/PROJECT