
July 31, 2020
11:08 p.m.
Hi Rebecca, Sounds good! I have made both of your requested changes in this PR: https://github.com/python/peps/pull/1546 Best, Mark