tree d2d56105b811b0634691f008414de97ef8a0e367
parent d56456cbe8967c77aaed1cc5bdd96ecb8459d307
author Adrian L. Shaw <adrian.shaw@arm.com> 1557916746 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1558037477 +0200

Mention psa_close_key in the description of psa_open_key