diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 5cf34219188..c2538f3f8e4 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -5262,9 +5262,13 @@ ANY num_sync ( num_sync (