tree 4cb602d78298bce43f08b8d5d50464a5d4a259a8
parent 69f93b5040c593f800bb0d5c80e3fa4bd2e60c2b
author Gilles Peskine <Gilles.Peskine@arm.com> 1574352981 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1574441065 +0100

Minor docstring improvements

No behavior change.