Don't delete previous coverage comment#653

JelleZijlstra merged 1 commit intopython:mainpython/typing_extensions:mainfrom

brianschubert:coverage-hide-commentbrianschubert/typing_extensions:coverage-hide-commentCopy head branch name to clipboard