From b15e497d4de5b04537217117137f7756dc535c2f Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Thu, 13 Jan 2022 14:10:23 -0500 Subject: [PATCH] Fix the docs build This was inadvertendly broken in f956ecdbaffbb8643. Sorry --- docs/usermanual-object-model.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/usermanual-object-model.xml b/docs/usermanual-object-model.xml index 52db7fb9a..3c71a3690 100644 --- a/docs/usermanual-object-model.xml +++ b/docs/usermanual-object-model.xml @@ -70,6 +70,7 @@ through the setter and getter functions described in the API Reference manual. + Note that many object types can be marked as read-only or immutable, facilitating their use in multi-threaded environments.