Ondrej updated on the 31st (yesterday). The official Ubuntu one (in 18.04 at least) updated on 30th.
Both do update pretty quickly usually.
On 1 June 2019 18:56:44 BST, Larry Garfield <firstname.lastname@example.org> wrote:
>On Thu, May 30, 2019, at 11:17 PM, Ryan McCullagh wrote:
>> Hi internals group,
>> I hope you guys are doing well, and it's a pleasure to be on this
>> mailing list. I have a question about the PHP upgrade path on Debian
>> and Ubuntu. The common recommendation is to use the PPA from OndÅej
>> SurÃ½ located at https://launchpad.net/~ondrej - Is this officially
>> recommended by the PHP Group as well?
>> Since 7.2.19 is a security release, I am trying to figure out the
>> way to get the release without compiling it myself. I can of course
>> compile PHP and pull in the tag from git, but if someone has already
>> solved this problem, I'd love to contribute to their system, rather
>> than invent my own.
>If you're on a supported Debian/Ubuntu release, then your best bet is
>apt-get update && apt-get upgrade. Done. They're pretty good about
>getting security updates out in a reasonable time.
>If you're using a 3rd party PPA repository (Ondrej or otherwise), the
>same applies. If your PPA source isn't on-the-ball about security
>releases, you need a new PPA source. :-)
>If you're not on a a still-supported Debian/Ubuntu release, stop what
>you're doing and get on a current/supported version, stat.
>PHP Internals - PHP Runtime Development Mailing List
>To unsubscribe, visit: http://www.php.net/unsub.php
Sent from my Android device with K-9 Mail. Please excuse my brevity.