diff --git a/docs/benchmarks.html b/docs/benchmarks.html index 967a654094c..9f021920fba 100644 --- a/docs/benchmarks.html +++ b/docs/benchmarks.html @@ -62,11 +62,17 @@ +-->