tree 8cbf0526f503b54aeca75e960dde73068bb1bdd6
parent 99a3310fba7b027216530124e703066f5dfdc6d9
author Gilles Peskine <Gilles.Peskine@arm.com> 1554735656 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1554914871 +0200

Clarify comment mangled by an earlier refactoring