Re: [PHP-DEV] PHP 7.2.19 Released

This is only part of a thread. view whole thread
June 1, 2019 18:27 (Scott Dutton)
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 <> 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 - 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 >best >> 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. >> >> Thanks, >> Ryan > >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. > >--Larry Garfield > >-- >PHP Internals - PHP Runtime Development Mailing List >To unsubscribe, visit:
-- Sent from my Android device with K-9 Mail. Please excuse my brevity.