Hi! > Then this fix doesn't make any sense -- you are saying if I download > the .tar.gz and .zip and extract those two, I will have precisely the > same sources?
Should be the same sources. We shouldn't distribute anything that isn't under the respective tag as official sources, so I assume they are. Making them part of the distro may not be a bad idea too, this way they can be signed. Of course, signing one more file is 33 to 50% more work, but I think RMs can deal with it. -- Stas Malyshev smalys...@gmail.com -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
