diff --git a/doc/changes.html b/doc/changes.html index 33c3f317..16cda402 100644 --- a/doc/changes.html +++ b/doc/changes.html @@ -80,6 +80,7 @@ to see whether newer versions are available.
  • Structural and performance enhancements: