diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 65ab95be3707..15d6d0bcc60e 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -5068,6 +5068,13 @@ ANY num_sync (