Add 'Type hints' as a release note category #7653
Merged
Mergify / Rule: Automatic merge (merge)
succeeded
Dec 29, 2023 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at 109c6bf
Loading