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

[Chris Lamb]

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/msg93532.html.


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      lamby at debian.org / chris-lamb.co.uk
       `-