Closed thomas-fossati closed 1 year ago
Fix #70
Signed-off-by: Thomas Fossati thomas.fossati@arm.com
Thanks for the quick change!
Fix #70
Signed-off-by: Thomas Fossati thomas.fossati@arm.com