Hallo,
die PHP-Pakete für Debian/Ubuntu wurden eben auf die Versionen 7.1.19 und 7.2.7 aktualisiert.
Die Version 7.2.7 behebt dabei einen Fehler im Opcache, welcher zu einem "Segmentation Fault" führen konnte - ein Update wird daher empfohlen.
Viele Grüße
-Klaus Keppler