Skip to content

Commit

Permalink
Move changelog entries to unreleased section
Browse files Browse the repository at this point in the history
  • Loading branch information
cyderize committed Sep 29, 2024
1 parent 856c651 commit 95f093d
Showing 1 changed file with 8 additions and 3 deletions.
11 changes: 8 additions & 3 deletions changes.rst
Original file line number Diff line number Diff line change
Expand Up @@ -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 <https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.8.6>`__
Expand Down Expand Up @@ -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:

Expand Down

0 comments on commit 95f093d

Please sign in to comment.