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

2017-07-26 Thread 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. Bui

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

2017-07-26 Thread Alex Sassmannshausen
Opened in error. Duplicate of 27826. 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 tha

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

2017-07-25 Thread Efraim Flashner
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

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

2017-07-25 Thread Alex Sassmannshausen
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_6