diff --git a/doc/arm/notes.xml b/doc/arm/notes.xml index b531f89f2a..bf9463f9dc 100644 --- a/doc/arm/notes.xml +++ b/doc/arm/notes.xml @@ -7,7 +7,7 @@ ]>