tree fdb8c3e950006bea4d6e8b23edba0b00c25a98cb
parent c9a30fba745072f4475f4766bc6c029705a6edb9
author Gilles Peskine <Gilles.Peskine@arm.com> 1654884813 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1654884813 +0200

Fix bug whereby 0 was written as 0200 rather than 020100

0200 is not just non-DER, it's completely invalid, since there has to be a
sign bit.

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