tree 0d0033303fa80b5dff8bdeed80b95ec34c8555c0
parent 81786e4362c1ba7881c5186a554c16f7ebaf46b0
author Gilles Peskine <Gilles.Peskine@arm.com> 1626944199 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1626975912 +0200

Explain the final error checking

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