Hello,

our PHP packages for Debian/Ubuntu have been updated to version 7.2.18 and 7.3.5.

Best regards

-Klaus Keppler