8 Nov
2019
8 Nov
'19
1:11 p.m.
On Fri, Nov 08, 2019 at 01:35:12PM +0100, Ard Biesheuvel wrote:
From: Mark Rutland mark.rutland@arm.com
From: Marc Zyngier marc.zyngier@arm.com
Lots of Mar[c/k]'s :)
I'll fix this up...