tree bb18bbf992e361c247bd9c3b2163bb22df259728
parent 33434a9f60f18894953eb64ffd699d5774cd1a37
author Janos Follath <janos.follath@arm.com> 1623073933 +0100
committer Janos Follath <janos.follath@arm.com> 1623160325 +0100

Make check-names.sh happy

Signed-off-by: Janos Follath <janos.follath@arm.com>