tree 6202928b79d5d28da46a871d901f31a812866c1e
parent 25c9f4bb8cb8d6b6e7798d48320eb0fe0726395e
author Gilles Peskine <Gilles.Peskine@arm.com> 1682104786 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1683118385 +0200

Fix pastapasta

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