Hallo,
unsere PHP-Pakete für Debian/Ubuntu wurden eben auf die Versionen 7.2.15 bzw. 7.3.2 aktualisiert.
Da insbesondere FPM und OpCache bei PHP 7.3 noch einige Stabilitätsprobleme hatten (haben?), empfehlen wir, das Update zeitnah durchzuführen.
Viele Grüße
-Klaus Keppler