diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 5fb6e13a3c3..18745906cd9 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -4941,13 +4941,14 @@ ANY num_sync (