diff --git a/ReleaseNotes.html b/ReleaseNotes.html index e06d7fca17..dcac251316 100644 --- a/ReleaseNotes.html +++ b/ReleaseNotes.html @@ -22,7 +22,7 @@
This release brings with it the usual bugfixes, but also some new features: