[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#26142: core-updates: update php to 7.1.3
|
From: |
Ludovic Courtès |
|
Subject: |
bug#26142: core-updates: update php to 7.1.3 |
|
Date: |
Fri, 17 Mar 2017 23:46:43 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) |
Hi,
julien lepiller <address@hidden> 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 <address@hidden>
> 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.
LGTM. Unless there’s a good reason, it’s also OK for master.
Thanks,
Ludo’.