diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES index be3df7e..5d382ee 100644 --- a/MiniZincIDE/CHANGES +++ b/MiniZincIDE/CHANGES @@ -1,3 +1,10 @@ +2021-03-19 + v2.5.5 +- Fix editing of custom string parameters so they don't get converted to + floats. +- Fix crash on Windows caused when the PATH environment contains unicode + characters. + 2021-03-16 v2.5.4 - Fix possible crash due to incorrect use of WriteFile on Windows.