Gilles Peskine b3e5340b1f Clarify comment
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2021-12-02 12:48:50 +01:00
..
2021-11-03 07:31:00 +00:00
2021-06-28 09:28:33 +01:00
2021-12-02 12:48:50 +01:00
2021-06-28 09:28:33 +01:00