Hallo,
unsere PHP-Pakete für Debian/Ubuntu wurden eben auf die Versionen 7.2.25 und 7.3.12 aktualisiert.
Zudem ändern sich damit ab sofort die Versionierung der Pakete. Statt bisher z.B. "7.2.25-1+stretch1" lautet die Nummer nun "1:7.2.25-1+deb9u1".
Damit wird ein mögliches Problem beim Dist-Upgrade umgangen (die alphabetische Sortierung von "stretch"/"buster" ist problematisch, "deb9" und "deb10" wird von Debian dagegen korrekt sortiert).
Viele Grüße
-Klaus Keppler