tree 9fd2f7b889f33c1fd9733b8f9abf1b87dcc7a54a
parent 6a45d1e4ce543847ce8594937d748a157bc610f2
author Gilles Peskine <Gilles.Peskine@arm.com> 1585083941 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1585732190 +0200

Sort the list for easier maintenance

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