diff --git a/CHANGES.html b/CHANGES.html index c95704381..af79cd803 100644 --- a/CHANGES.html +++ b/CHANGES.html @@ -53,7 +53,7 @@ This has a few changes for users and developers: