R. David Murray <rdmur...@bitdance.com> added the comment: @guido: in roundup, by default anyone can change the issue title. I imagine he is a new user who just didn't understand that he was doing so. (And indeed, the account was created on 1/19).
---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue25910> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
