tree cdd79dc767803b901ed86c07854e04b35cd1bb85
parent 1873d3bfc2da771672bd8e7e8f41f57e0af77f33
author David Horstmann <david.horstmann@arm.com> 1677177556 +0000
committer Gilles Peskine <Gilles.Peskine@arm.com> 1690985192 +0200

Add space to appease doxygen bug

See doxygen/doxygen#8706

Signed-off-by: David Horstmann <david.horstmann@arm.com>