gh-133403: Type Tools/build/update_file.py and check it with mypy#133404
Merged
Commits
Commits on May 4, 2025
Commits on May 5, 2025
- committed
- committed
Tools/build/update_file.py and check it with mypy#133404