On Thu, Oct 13, 2016 at 12:20 PM, Lauri Kenttä <lauri.ken...@gmail.com> wrote:
> On 2016-10-13 20:16, Davey Shafik wrote: > >> Can anyone shed some light on: >> >> 1) when it was merged >> 2) who merged it >> 3) how the dates are messed up >> > > > 1) and 2) > > commit fb92482c8ad1e35b82c4d7b758ae0f1f5ecd4929 > Merge: b0cacee 4b8bdac > Author: Joe Watkins <krak...@php.net> > Date: Mon Oct 10 12:17:11 2016 +0100 > > Merge branch 'PHP-7.1' of https://github.com/php/php-src into PHP-7.1 How did you figure that out? :D Thanks for this :) - Davey