tree f4cf7b01bce5677df77340433e90cda73168ba51
parent 4386cf188d1299f5652f99c6f0293baa67af996b
author Gilles Peskine <Gilles.Peskine@arm.com> 1676971272 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1676971272 +0100

Improve documentation of documentation workaround

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