diff --git a/doc/diagnostics.html b/doc/diagnostics.html index f9368886c4c..438cdce45fa 100644 --- a/doc/diagnostics.html +++ b/doc/diagnostics.html @@ -455,7 +455,7 @@ environmental variable is set accordingly.
each collection, summarizing the amount of memory collected and the length of the pause.