On Thu, 2017-03-23 at 15:24 +0000, Marc Zyngier wrote:

Hi Mars,

On 23/03/17 00:46, Mars Cheng wrote:

quoted

Hi Matthias, Rob, Marc, Stephen

gentle ping for this patch set.

I appreciate that you're eager to see this reviewed, but less than 4
days between a posting and a reminder is a bit too eager. We're not
machines! ;-)

Thanks,

	M.

Hi Marc

My bad. I should wait for one week at least.

Thanks for reminding. :-)