diff --git a/doc/changes.html b/doc/changes.html index f6d346f9..b601b97a 100644 --- a/doc/changes.html +++ b/doc/changes.html @@ -59,6 +59,7 @@ to see whether newer versions are available.