tree f496311e4efe4457094520dbaf1cc8b98f58a1f5
parent d9b41502d1b0e9ba5a271f8e214a3b75aadfab01
author Gilles Peskine <Gilles.Peskine@arm.com> 1623100910 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1623100910 +0200

Hopefully clarify the example

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