Subject: Re: bug#26142: core-updates: update php to 7.1.3

From: [email-masked] (Ludovic Courtès)
Date: Sun, 26 Mar 2017 16:20:18 +0200

julien lepiller <[email-masked]> skribis:

> php has released a new version today. Here is a patch to be applied to
> core-updates.
>
> From 8c0ca367dfbb45f132f2ee4f0507b66e981a1369 Mon Sep 17 00:00:00 2001
> From: Julien Lepiller <[email-masked]>
> Date: Fri, 17 Mar 2017 15:53:29 +0100
> Subject: [PATCH] gnu: php: Update to 7.1.3.
>
> * gnu/packages/php.scm (php): Update to 7.1.3.

This was pushed so closing now (by emailing [email-masked]).
Remember to do that next time.  :-)

Thanks,
Ludo’.