commit bash-20200803 snapshot

doc/bashref.texi

@@ -4440,6 +4440,8 @@ If @var{name} is @samp{-}, the set of shell options is made local to the
 function in which @code{local} is invoked: shell options changed using
 the @code{set} builtin inside the function are restored to their original
 values when the function returns.
+The restore is effected as if a series of @code{set} commands were executed
+to restore the values that were in place before the function.
 The return status is zero unless @code{local} is used outside
 a function, an invalid @var{name} is supplied, or @var{name} is a
 readonly variable.