diff --git a/doc/arm/notes.xml b/doc/arm/notes.xml index 6a4d737783..1e00cc73f3 100644 --- a/doc/arm/notes.xml +++ b/doc/arm/notes.xml @@ -796,7 +796,7 @@ None. - +