tree 0842d88ce83df597bbfa488dada701d0369f6d3f
parent b64e0fe5e35b174b8070827d92ec0a6aed6910f6
author Gilles Peskine <Gilles.Peskine@arm.com> 1604929444 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1604931427 +0100

Sort entries to make it easier to eyeball the list

No semantic change.

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