diff --git a/doc/ChangeLog.html b/doc/ChangeLog.html index 38b7ee49f..d86660e63 100644 --- a/doc/ChangeLog.html +++ b/doc/ChangeLog.html @@ -31,6 +31,7 @@
  • Future 1.19 Release