tree 1f877fdff3043696361e5c32db9747f9a510cbb1
parent 4754cdeef806f5167edc0d140b7fce52581c9aa5
author Gilles Peskine <Gilles.Peskine@arm.com> 1558447031 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1558456999 +0200

Remove implementation comment from API specification