Subject: bug#26485: update php to 7.1.4

From: [email-masked] (Ludovic Courtès)
Date: Thu, 13 Apr 2017 23:08:16 +0200

Arun Isaac <[email-masked]> skribis:

> Pushed! Thanks!

No big deal but Julien also has write access.  :-)

See <https://savannah.gnu.org/project/memberlist.php?group=guix> when in
doubt.

BTW, thanks a lot for your review work Arun, it’s greatly appreciated!

Ludo’.