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 hop
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
On 23-05-19 21:18, Nikita Popov wrote:
> On Thu, May 23, 2019 at 9:02 PM Dik Takken wrote:
>
>> For array_intersect(), I was actually considering to allow zero
>> arguments. The use case I have in mind is to determine the common
>> elements in a set of zero or more arrays, like this:
>>
>> ar
On 21-05-19 10:29, Nikita Popov wrote:
> This one makes sense in theory, because array_map(null, ...$arrays) is a
> way to perform a zip operation in PHP. Unfortunately there is an ugly
> special case if there is only a single array, which makes this not actually
> usable in practice, unless you kn
