tree 7d787979787551b7c405dc629dd9ce033180f6b7
parent d09f96b829aedcddd5bb40681fca2c31ff20a591
author Dave Rodgman <dave.rodgman@arm.com> 1707231658 +0000
committer Dave Rodgman <dave.rodgman@arm.com> 1707231658 +0000

Pacify check-names

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>