Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 628696 - dev-lang/php: 7.1.8 version bump
Summary: dev-lang/php: 7.1.8 version bump
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: PHP Bugs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-08-23 08:51 UTC by Ján Regeš
Modified: 2017-08-23 15:46 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Ján Regeš 2017-08-23 08:51:05 UTC 
Hi,

PHP 7.1.8 has been released 2017-08-03.

Could you update Gentoo package? Optionally also version 7.2.0 beta3.

Thank you.
Comment 1 Michael Orlitzky gentoo-dev 2017-08-23 14:18:02 UTC 
Done! Thanks for the poke.
Comment 2 Ján Regeš 2017-08-23 15:46:28 UTC 
Great, Thank you Michael! ;-)