Hello,

our PHP packages for Debian/Ubuntu have just been updated to version 7.1.24 and 7.2.12.

Best regards

-Klaus Keppler