tree 5468a34f036085e46511221e90b956ffc5a99ba5
parent 882e57ecba4d524bb11c4d72ce5d0fb1d7614763
author Gilles Peskine <Gilles.Peskine@arm.com> 1555074218 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1555573341 +0200

Remove "TODO" comments

One was obsolete. Reword the other two to avoid the magic word that
our CI rejects.