On Thu, Apr 13, 2017 at 07:08:36PM +0200, Julien Lepiller wrote:
> Hi,
> 
> a new version of PHP has just been released. Here is a patch to
> update it.

> From cde576b4163af51c928f56137547d8060d4b911b Mon Sep 17 00:00:00 2001
> From: Julien Lepiller <julien@lepiller.eu>
> Date: Thu, 13 Apr 2017 15:16:26 +0200
> Subject: [PATCH] gnu: php: Update to 7.1.4.
> 
> * gnu/packages/php.scm (php): Update to 7.1.4.

LGTM, thanks!