diff --git a/changes.rst b/changes.rst index 5cc41c215..9b7e94121 100644 --- a/changes.rst +++ b/changes.rst @@ -4,7 +4,12 @@ MiniZinc Change Log For detailed bug reports consult the issue tracker at https://github.com/MiniZinc/libminizinc/issues. -.. _unreleased: +.. _v2.8.1: + +`Version 2.8.2 `__ +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + +(released 15 December 2023) Bug fixes: ^^^^^^^^^^ @@ -38,6 +43,10 @@ Changes: - Always perform substitution of fixed values before outputting FlatZinc for consistency. +Changes in the IDE: +^^^^^^^^^^^^^^^^^^^ +- Make process handling more robust to failures. + .. _v2.8.1: `Version 2.8.1 `__