On Wed, 25 Jan 2017, Marc Zyngier wrote:> Hi Thomas,> > Any comment on that one?Yes, it got lost in my backlog. Thanks for the reminder. tglx