Ondrej updated on the 31st (yesterday). The official Ubuntu one (in 18.04 at
least) updated on 30th.
Both do update pretty quickly usually.
Scott
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
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
>
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
Hi,
The PHP development team announces the immediate availability of PHP
7.2.19. This is a security release which also contains several minor bug
fixes.
All PHP 7.2 users are encouraged to upgrade to this version.
For source downloads of PHP 7.2.19 please visit our downloads page.
Windows
