Gilles Peskine c7eeeb1e8d Fix long-standing obsolete comment ... Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>		2021-06-03 18:10:04 +02:00
..
test	Fix long-standing obsolete comment	2021-06-03 18:10:04 +02:00