tree 5d91930e4d6156149492decca76b5ca88f0787e8
parent 0cf9dd1056f5253b529a7de6e651146393426e6a
author Dave Rodgman <dave.rodgman@arm.com> 1691586614 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1693298534 +0100

Improve docs re duplicate declarations

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>