Add some missing attribute annotations to trace.pyi
#11091
Merged
AlexWaygood merged 2 commits intopython:mainfrom Dec 3, 2023
Merged
Add some missing attribute annotations to `trace.pyi`#11091AlexWaygood merged 2 commits intopython:mainfrom
AlexWaygood merged 2 commits intopython:mainfrom