Hello,

the PHP packages for Debian/Ubuntu have been updated to version 7.1.19 and 7.2.7.
Version 7.2.7 fixes a bug in the Opcache module which could cause a segmentation fault - so the upgrade is recommended.

Best regards

-Klaus Keppler