Bug#889128: [php-maint] Bug#889128: php7.2: please make the build reproducible

Hi Ondřej, > > I forwarded your patch to upstream and I think we might just wait for > > PHP 7.2.3 that should be released in a month, and only if they don’t > > accept the PR I will patch Debian package. Ok? FYI I was just linked to https://www.mail-archive.com/internals@lists.php.net/msg9353

Bug#889128: [php-maint] Bug#889128: php7.2: please make the build reproducible

Hi Ondřej, > I forwarded your patch to upstream and I think we might just wait for > PHP 7.2.3 that should be released in a month, and only if they don’t > accept the PR I will patch Debian package. Ok? Sounds great! Thank you for the update :) Regards, -- ,''`. : :' : Chris

Bug#889128: [php-maint] Bug#889128: php7.2: please make the build reproducible

Control: forwarded -1 https://github.com/php/php-src/pull/3054 Hi Chris, I forwarded your patch to upstream and I think we might just wait for PHP 7.2.3 that should be released in a month, and only if they don’t accept the PR I will patch Debian package. Ok? Ondrej -- Ondřej Surý ond...@sury.o