diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 6e35801625..511af4960e 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -3992,13 +3992,14 @@ ANY num_sync (