R. David Murray added the comment: Oh,of course. This issue was bugging the back of my brain after I commented on it, but I hadn't circled back to figure it out. Thanks, Martin, I'll close this as not a bug.
---------- resolution: -> not a bug stage: -> resolved status: open -> closed _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue23915> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
