diff --git a/doc/html/changelog.html b/doc/html/changelog.html index 83fd790c..f1c3f7d8 100644 --- a/doc/html/changelog.html +++ b/doc/html/changelog.html @@ -83,6 +83,8 @@