diff --git a/docs/history.html b/docs/history.html index 3e9e804d0c..a540b6cc5d 100644 --- a/docs/history.html +++ b/docs/history.html @@ -62,6 +62,8 @@