On 14/07/2016 12:52, Marc Zyngier wrote:

I'm done with that round. Couple of annoying bugs, and still a bunch of
loose ends to be tied. Timing wise, this is getting pretty tight for
4.8, so unless you address the comments very quickly, it will be a miss
again.

My plan is to cut the 4.8 branch at the end of this week, so you have
until then to repost something that I can stick into -next.

FYI I'm on vacation on July 24-31, and will send the pull request to
Linus around Aug 2.  If necessary you can delay things by one more week
and send a pull request to Radim around the end of July after the merge
window has officially started already.

Paolo