tree e1fa4114cfb503e3e35f709781f42ad9971fc75a
parent 54f7351d12d22c56bfc14494881132d0f3609494
author Dave Rodgman <dave.rodgman@arm.com> 1624608542 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1624608570 +0100

Use more standard label name

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