PEP 751: one last time

Ah, then I will leave it alone.

Now worries as it’s a small update that I think makes sense.

I opened PEP 751: address some minor user feedback by brettcannon · Pull Request #4330 · python/peps · GitHub , but I’m going to let you decide if it’s an improvement or not, @pf_moore ; feel free to either merge it or simply close it.

2 Likes