Closed kpet closed 2 years ago
Signed-off-by: Kevin Petit kevin.petit@arm.com
Thanks for catching this. Done.
Signed-off-by: Kevin Petit kevin.petit@arm.com