tree 6147896fe62864f051d6a4e21324bbc77b996732
parent 1270d32b2901b2c850bfe3ecdf6e0b9316db750a
author Gilles Peskine <Gilles.Peskine@arm.com> 1554735656 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1554914982 +0200

Clarify comment mangled by an earlier refactoring