tree 900f3776084eb7f84e9bc46c61a663560a1bf652
parent e38ab1ac4faef8e69306647cf7b577c5d9c23a02
author Gilles Peskine <Gilles.Peskine@arm.com> 1558007904 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1558029070 +0200

Move remaining text about DSA out of the specification