diff --git a/doc/changes.html b/doc/changes.html index f7c039d2..237c84e3 100644 --- a/doc/changes.html +++ b/doc/changes.html @@ -57,6 +57,7 @@ to see whether newer versions are available.