tree 575722d9cead66de01d1d282b1cabe5e11a07f3a
parent f48d468111a5576e4521320b1da97dce3892e2f9
author Gilles Peskine <Gilles.Peskine@arm.com> 1588062494 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1588168359 +0200

Sort lists for easier maintenance

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