I forgot to mention the original author when I created the PR using the patch.
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.
Activity
terryjreedy commented on Mar 31, 2023
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.