diff --git a/docs.html b/docs.html index 596ff909..422bc263 100644 --- a/docs.html +++ b/docs.html @@ -3531,8 +3531,7 @@ only a subset of the elements is taken Caveats: