From 95f093d9622b0c6c2a604d677520321fd5032e1b Mon Sep 17 00:00:00 2001 From: Jason N Date: Mon, 30 Sep 2024 09:32:17 +1000 Subject: [PATCH] Move changelog entries to unreleased section --- changes.rst | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/changes.rst b/changes.rst index 1b66303a6..f139f6e22 100644 --- a/changes.rst +++ b/changes.rst @@ -4,6 +4,14 @@ MiniZinc Change Log For detailed bug reports consult the issue tracker at https://github.com/MiniZinc/libminizinc/issues. +.. _unreleased: + +Bug fixes: +^^^^^^^^^^ +- Fix bug that caused where clauses to be removed from comprehensions. +- Fix optimisation of Boolean constraints that could sometimes trigger an + assertion failure in debug builds (:bugref:`843`). + .. _v2.8.6: `Version 2.8.6 `__ @@ -78,9 +86,6 @@ Bug fixes: solvers (:bugref:`841`). - Fix bug in unification of aliased output variables when using ``-O2`` and above. -- Fix bug that caused where clauses to be removed from comprehensions. -- Fix optimisation of Boolean constraints that could sometimes trigger an assertion - failure in debug builds (:bugref:`843`). .. _v2.8.5: