Benjamin Peterson added the comment: On Wed, May 6, 2015, at 09:15, Thomas Wouters wrote: > > Thomas Wouters added the comment: > > FYI, I meant last Monday, but I forgot it was May 4th (Dutch Memorial > day) and May 5th (Dutch Liberation day), so that got in the way :P > > Should we keep this bug open for docs changes, or is there a separate > issue for that?
#24136 ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue2292> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
