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

Reply via email to