Bump typing-extensions from 4.7.1 to 4.12.2 in /tools
Bumps typing-extensions from 4.7.1 to 4.12.2.
updated-dependencies:
- dependency-name: typing-extensions
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] support@github.com