diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES index c09edd7..4a0819c 100644 --- a/MiniZincIDE/CHANGES +++ b/MiniZincIDE/CHANGES @@ -1,3 +1,7 @@ +2023-04-05 + v2.7.2 +- Fix patching of `RPATH` for binaries and libraries in Snap package. + 2023-03-31 v2.7.1 - Fix highlighting of multiline comments starting with /*/ (#172).