Re: [heads-up] PHP 7.0 is now in rawhide