diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index e5041aca7c6..f279fe5cada 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -4761,7 +4761,8 @@ ANY num_sync (