diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 81cacdcbe40..cfbb20a39e1 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -4872,6 +4872,12 @@ ANY num_sync (