diff --git a/documentation/ref-manual/technical-details.xml b/documentation/ref-manual/technical-details.xml index b489f02c9d..aafa9c807c 100644 --- a/documentation/ref-manual/technical-details.xml +++ b/documentation/ref-manual/technical-details.xml @@ -902,7 +902,7 @@