tree 0101d7c0244bb2084ffdcc68fff5753ac1b0d8a5
parent 6f8aaba5240f4e004d87758e49a7edf26071e2ed
author Gilles Peskine <Gilles.Peskine@arm.com> 1585332095 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1585332558 +0100

Add a missing space in help text

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