diff --git a/doc/arm/notes.xml b/doc/arm/notes.xml index c2990599d8..6f01389949 100644 --- a/doc/arm/notes.xml +++ b/doc/arm/notes.xml @@ -210,7 +210,13 @@