diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 2b6255e..d8a3014 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -3172,6 +3172,12 @@ ANY num_sync (