Package: guix-patches;
Reported by: julien lepiller <julien <at> lepiller.eu>
Date: Fri, 17 Mar 2017 15:39:02 UTC
Severity: normal
Done: ludo <at> gnu.org (Ludovic Courtès)
Bug is archived. No further changes may be made.
View this message in rfc822 format
From: help-debbugs <at> gnu.org (GNU bug Tracking System) To: ludo <at> gnu.org (Ludovic Courtès) Cc: tracker <at> debbugs.gnu.org Subject: bug#26142: closed (core-updates: update php to 7.1.3) Date: Sun, 26 Mar 2017 14:21:02 +0000
[Message part 1 (text/plain, inline)]
[Message part 2 (message/rfc822, inline)]
From: julien lepiller <julien <at> lepiller.eu> To: guix-patches <at> gnu.org Subject: core-updates: update php to 7.1.3 Date: Fri, 17 Mar 2017 15:57:58 +0100[Message part 3 (text/plain, inline)][0001-gnu-php-Update-to-7.1.3.patch (text/x-diff, attachment)]
[Message part 5 (message/rfc822, inline)]
From: ludo <at> gnu.org (Ludovic Courtès) To: julien lepiller <julien <at> lepiller.eu> Cc: 26142-done <at> debbugs.gnu.org Subject: Re: bug#26142: core-updates: update php to 7.1.3 Date: Sun, 26 Mar 2017 16:20:18 +0200
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.