tree 964946d46179275c6e5fac1bd4a80767716c6afa
parent dd54324765bceba86a983a2ad4f8ba87d023e959
author Gilles Peskine <Gilles.Peskine@arm.com> 1666894513 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1667401201 +0100

Update some internal comments

The refactoring of fill_random had left some obsolete bits in comments.

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