Closed joshuabambrick closed 2 months ago
I'm happy to merge this whenever an authorised user is willing to do so.
@Rosuav Do you want to merge this? I would but I am not sure if we also need to update the PEP dates for update at the top of the PEP prior to merging. Still getting my sealegs on the specific process re: PEP editor. Thanks.
Thanks @joshuabambrick too!
Looks mergeable to me!
📚 Documentation preview 📚: https://pep-previews--3838.org.readthedocs.build/