tree 48cd20fb925b5b37d6dbfa3ebc1820cf17102a51
parent 8e58ccb4f6690aa2f045c3897aee4433ef3ff1ce
author David Horstmann <david.horstmann@arm.com> 1698243987 +0100
committer David Horstmann <david.horstmann@arm.com> 1698243987 +0100

De-duplicate section titles

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