A new issue is not needed for something like this. A PR attached to the original issue is better (even if issue is 'closed') as can see fix on original issue. Re-pointed PR to original issue. #103346
Description
A new issue is not needed for something like this. A PR attached to the original issue is better (even if issue is 'closed') as can see fix on original issue. Re-pointed PR to original issue.
Originally posted by @terryjreedy in #103145 (comment)