Bug#893700: php7.2: Would you please backport for stretch

[Herman van Rink]

There now is a thread about this on the backports mailinglist.

https://lists.debian.org/debian-backports/2018/10/threads.html#00014

-- 

Met vriendelijke groet / Regards,

Herman van Rink
Initfour websolutions