diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 9f2a4a2470..a2694e548a 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -4925,7 +4925,8 @@ ANY num_sync (