Hi, by accident a developer pushed master onto the PHP-7.0 branch. A force push was used to repair the repository.
The broken state has been backed up here: https://github.com/johannes/php-src/tree/backup-broken-7.0 From there the revision has been reverted to 8f35ee49ee. If you pulled within the last few hours please be careful to work on the correct branch. Thanks, johannes P.S. This happens about once a year, could be nice if somebody with some git scripting skills could provide a script to prevent pushing revisions, which exist in a higher branch, to a lower branch.
signature.asc
Description: This is a digitally signed message part
