![](https://secure.gravatar.com/avatar/fa0f7819f1825f596b384c19aa7dcf33.jpg?s=120&d=mm&r=g)
June 22, 2018
5:16 p.m.
Terry J. Reedy <tjreedy@udel.edu> added the comment: Thanks. I did that and will merge when possible. ---------- assignee: docs@python -> terry.reedy _______________________________________ Python tracker <report@bugs.python.org> <https://bugs.python.org/issue33877> _______________________________________