I have a bit of a mystery on my hands.
Yasuo brought to my attention last night that it looked like someone had
merged master into the PHP-7.1 branch, and indeed when Joe and I tried to
build today that was the case.
Now, I used `git when-merged` to figure out when it was merged and came
up with the following commit:
Merge: dc9ae10 f41b69e
Author: Yasuo Ohgaki <yohg...@php.net>
Date: Wed Aug 10 09:39:17 2016 +0900
However, the date on it is Aug 10, and I have video proof from Aug ~29th
(RC1 build) that it wasn't there then. My local PHP-7.1 branch also does
not have this commit, and it's last commit was:
Author: Davey Shafik <m...@daveyshafik.com>
Date: Wed Oct 5 13:07:47 2016 -0700
So that means it was merged in the last 8 days.
Can anyone shed some light on:
1) when it was merged
2) who merged it
3) how the dates are messed up
4) how to fix it
Also: at this point, I'd like to ask for NO FURTHER COMMITS TO THE 7.1
BRANCH while this is sorted out.