tree 1b5db5d38e2606fd30e71d5ed8eba12912f78853
parent 4d3fd36c4488742972fa63fcb2fbc164bd2ebcad
author Gilles Peskine <Gilles.Peskine@arm.com> 1624294719 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1624358841 +0200

Correct some statements about the ordering of A and B

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