Subject: Re: bug#26896: php: Update to 7.1.5

From: Marius Bakke <[email-masked]>
Date: Fri, 12 May 2017 13:42:49 +0200

julien lepiller <[email-masked]> writes:

> Hi,
>
> php 7.1.5 has just been annonced. Here is a patch to update.

Thanks! Make sure to mention the change to [arguments] in the commit
message.