[debbugs-tracker] bug#26142: closed (core-updates: update php to 7.1.3)

[GNU bug Tracking System]

Your message dated Sun, 26 Mar 2017 16:20:18 +0200
with message-id <address@hidden>
and subject line Re: bug#26142: core-updates: update php to 7.1.3
has caused the debbugs.gnu.org bug report #26142,
regarding core-updates: update php to 7.1.3
to be marked as done.

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


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

--- Begin Message --- Subject: core-updates: update php to 7.1.3 Date: Fri, 17 Mar 2017 15:57:58 +0100 User-agent: Roundcube Webmail/1.2.4

Hi,

php has released a new version today. Here is a patch to be applied to core-updates.

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

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#26142: core-updates: update php to 7.1.3
>
>
>
>
> Date: 
>
> Sun, 26 Mar 2017 16:20:18 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux)
>
>
>
>
> julien lepiller <address@hidden> skribis:
>
> > php has released a new version today. Here is a patch to be applied to
> > core-updates.
> >
> > From 8c0ca367dfbb45f132f2ee4f0507b66e981a1369 Mon Sep 17 00:00:00 2001
> > From: Julien Lepiller <address@hidden>
> > Date: Fri, 17 Mar 2017 15:53:29 +0100
> > Subject: [PATCH] gnu: php: Update to 7.1.3.
> >
> > * gnu/packages/php.scm (php): Update to 7.1.3.
>
> This was pushed so closing now (by emailing address@hidden).
> Remember to do that next time.  :-)
>
> Thanks,
> Ludo’.
>
>
> --- End Message ---