7 Jul
2020
7 Jul
'20
9:09 p.m.
On Tue, 7 Jul 2020 at 18:35, Guido van Rossum
On Tue, Jul 7, 2020 at 9:09 AM Paul Moore
wrote: Hopefully the PEP authors intend to post an updated version (preferably with a summary of changes, for people struggling to keep up with the traffic here!) sometime soon.
Please consider that the PEP authors also are struggling with the traffic here.
Sorry! I didn't intend to imply otherwise. Mostly I was just hoping you'd be more aware of what you'd changed and could offer a "these are the high spots of what's changed" overview when you post the new version. But absolutely don't feel that I'm suggesting you're obliged to do so! Paul