STINNER Victor <vstin...@redhat.com> added the comment:

> This is now resolved, and only through modifying the build scripts. Which 
> means I can take the existing build and republish a fixed embeddable package 
> without needing a new release.

Since Python itself doesn't make, I'm ok to not change the Python release. But 
for pratical issues, would it be possible to use a different *filename*? For 
example, Python website rely a lot on CDN caching. It can be surprising to have 
two files with the same name but different content.

----------

_______________________________________
Python tracker <rep...@bugs.python.org>
<https://bugs.python.org/issue35596>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to