tree da110820910e6180dde5510506f57a9db38fcc2d
parent 2f060a8ea54ead4912d5ad8ab5cebc16513dbdc4
author Gilles Peskine <Gilles.Peskine@arm.com> 1544202748 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1544543294 +0100

Remove a comment that is no longer applicable