tree 4cb95c0197dbccb1f3e8df0cdb3ac2406e3270a8
parent 697ee190b51c48e0005079eb3392b3ec5cef63a0
author Gilles Peskine <Gilles.Peskine@arm.com> 1611057070 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1611062720 +0100

Remind the reader of what is done about old formats

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