[debbugs-tracker] bug#26485: closed (update php to 7.1.4)

[GNU bug Tracking System]

Your message dated Fri, 14 Apr 2017 00:06:49 +0530
with message-id <address@hidden>
and subject line Re: bug#26485: update php to 7.1.4
has caused the debbugs.gnu.org bug report #26485,
regarding update php to 7.1.4
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
26485: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=26485
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: update php to 7.1.4 Date: Thu, 13 Apr 2017 19:08:36 +0200

Hi,

a new version of PHP has just been released. Here is a patch to
update it.

0001-gnu-php-Update-to-7.1.4.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#26485: update php to 7.1.4
>
>
>
>
> Date: 
>
> Fri, 14 Apr 2017 00:06:49 +0530
>
>
>
>
> Pushed! Thanks!
>
>
> --- End Message ---