PHP-5.6 Branch Currently Broken

Hey All (particularly Julien & Ferenc),

While working on an issue caused by re2c+ext/date on OS X that was holding
up 7.1.0beta1 and causing the latest 7.0 bulld to need to be re-tagged:

I accidentally messed up due to lack of sleep and merged master into
PHP-5.6. Because I cannot force push to the PHP-5.6 branch I cannot revert
the change back to the last good commit:

9ebc96116b609cd3c969c2d5a460aaa904c2afec

I'm waiting on someone with the ability to force push (me, nor Anatol, not
Derick, have permission) to fix it.

In the meantime: THE BRANCH IS BROKEN, DO NOT COMMIT TO IT AS YOU MAY LOSE
YOUR WORK.

If you do want to work in 5.6, you should be fine to do the following
locally:

git reset --hard 9ebc96116b609cd3c969c2d5a460aaa904c2afec

and build commits on top of that. Just wait for the all-clear before
pushing (you won't be able to push actually).

I apologize for this, especially to the RMs during the build/tag days.

Sorry all,

• Davey

P.S.
if you can force push, the following will fix it:

git fetch --all
git checkout PHP-5.6
git reset --hard 9ebc96116b609cd3c969c2d5a460aaa904c2afec
git push origin -f PHP-5.6

or alternatively the following should also work:

git push origin -f 9ebc96116b609cd3c969c2d5a460aaa904c2afec:PHP-5.6