![](https://secure.gravatar.com/avatar/fa0f7819f1825f596b384c19aa7dcf33.jpg?s=120&d=mm&r=g)
May 3, 2016
10:42 a.m.
Ned Batchelder added the comment: Unless I have permissions I've never used, I don't think I can just push fixes to the peps repo. Also, it looks like Georg is working away at it! ---------- _______________________________________ Python tracker <report@bugs.python.org> <http://bugs.python.org/issue26914> _______________________________________