bug#27825: [PATCH 0/1] Update php to version 7.1.7.

[Alex Sassmannshausen]

Hi Efraim,

Ah sorry — I'm still not 100% confident with debbugs.  I opened this one
by accident.  The proper report is at 27826.

I will (try to) close this one.

Alex

Efraim Flashner writes:

> On Tue, Jul 25, 2017 at 05:17:32PM +0200, Alex Sassmannshausen wrote:
>> Please find patch below.  Builds successfully with tests, verified signature,
>> and did basic sanity check in guix environment.
>> 
>> I have 4 tests that fail — I believe that may be due to my local set up, as
>> 7.1.6 failed to build with tests for me too.  Would someone be able to try to
>> reproduce on x86_64?
>> 
>> Best wishes,
>> 
>> Alex
>> 
>> Alex Sassmannshausen (1):
>>   gnu: php: Update to 7.1.7.
>> 
>>  gnu/packages/php.scm | 6 +++---
>>  1 file changed, 3 insertions(+), 3 deletions(-)
>> 
>> -- 
>> 2.13.3
>> 
>
> Looks like you forgot to attach the patch :)