Gilles Peskine 5d20c735a0 Fix wrong type in C snippet
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2022-06-30 13:48:34 +02:00
..
2022-06-30 13:48:34 +02:00
2021-10-07 19:13:10 +02:00