tree d26718491ccb5ed69e1f8c41868c0c475b5c3546
parent 5dd839add373a66f9dda2f9917efafce5b7da8b3
author Gilles Peskine <Gilles.Peskine@arm.com> 1726236103 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1727197171 +0200

Changelog entry: fix #9551

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>