tree c282d651c99db5f5f3f128fd950a6899f2d5f23c
parent 28af958ea4299eea9e0e3a112f04fcf7e8fc7049
author Gilles Peskine <Gilles.Peskine@arm.com> 1585258892 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1585258892 +0100

Simplify sorting

Calling sort_key explicitly is marginally faster, but less readable.

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