Steve Dower added the comment: That is indeed what happened. The resource file for the launcher was not updated (or the update got lost... I was fairly sure I did it)
Attached patch fixes it. ---------- assignee: -> steve.dower keywords: +patch stage: -> patch review Added file: http://bugs.python.org/file40465/25112_1.patch _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue25112> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
