tree 6a80e66b2e9ee9d4ed1cc67259132883b1c2c6e3
parent 70d3f3dcdcb6bb3486c903462d28b68e94e76d10
author Werner Lewis <werner.lewis@arm.com> 1661267239 +0100
committer Werner Lewis <werner.lewis@arm.com> 1663775199 +0100

Remove unneeded list concatenation

Signed-off-by: Werner Lewis <werner.lewis@arm.com>