diff --git a/doc/html/changelog.html b/doc/html/changelog.html index 2b5235ec..16c9e343 100644 --- a/doc/html/changelog.html +++ b/doc/html/changelog.html @@ -118,6 +118,7 @@ documentation: