On 08/12/2015 02:21 AM, Marc Zyngier wrote:
I just cloned this repository, and none of the branches I received have this as their top commit. I can only guess that you're looking at something else.
It took me way too long, but I can see the v4.2-rc2 merge commit now. I blame sunspots for my poor git-fu. Sorry for all the noise.