tree 56177ad19916cc077f1457483f7c0ba4e0e3ba52
parent 9b3278b263b9990c80fccb111aab48938ac9d8dd
author Gilles Peskine <Gilles.Peskine@arm.com> 1656365672 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1656365672 +0200

Use headlinese for added functions, per request

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