tree 19010e444a552cf7cde0c07d88b1ea284d1fcd8e
parent 51917a82e83104ddfd58b8363e85f01d81d836b3
author Gilles Peskine <Gilles.Peskine@arm.com> 1614595161 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1614770607 +0100

Fix sloppy wording around stricly less-than vs less or equal

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