tree e9c67043f1a2a497f8dfdc90dc1265839c1a5107
parent b92fd9c410f60c48e177b506857b55ceab860d48
author Gilles Peskine <Gilles.Peskine@arm.com> 1649781058 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1650972846 +0200

Also copy the API extensions (currently: PAKE)

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