Tidy-up comment

Co-authored-by: Tom Cosgrove <tom.cosgrove@arm.com>
Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>
This commit is contained in:
Dave Rodgman 2023-02-24 18:07:05 +00:00 committed by GitHub
parent bf0597f804
commit 8b6eded03d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23