Update CHANGES.md

chocoteam · Sep 9, 2024 · 766f269 · 766f269
1 parent bbfdfff
commit 766f269
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -9,14 +9,22 @@ NEXT MILESTONE
 
 ### Major features:
 
-- Add `PickOnDom` and variants (see `Search.pickOnDom`)                            
+- Add `PickOnDom` and variants (see `Search.pickOnDom`)       
+- Enhance MiniZinc output
+- Revamp scripts to solver flatzinc files
+- Fix bugs (see closed issues)
 
 ### Deprecated API (to be removed in next release):
 
 ### Other closed issues and pull requests:
 See [milestone 4.10.15](https://github.com/chocoteam/choco-solver/milestone/39)
 
 #### Contributors to this release:
+- [Arthur Godet](https://github.com/ArthurGodet) (@ArthurGodet) 
+- [Paul King](https://github.com/paulk-asert) (@paulk-asert)
+- [Zhang Yang](https://github.com/zy-nesime) (@zy-nesime)
+- [Charles Prud'homme](https://github.com/cprudhom) (@cprudhom)
+
 
 **Full Changelog**: https://github.com/chocoteam/choco-solver/compare/v4.10.14...v4.10.15
 

diff --git a/scripts/RELEASE.md b/scripts/RELEASE.md
@@ -24,4 +24,4 @@
 5. Now you can run the command: 
 
 
-    ./scritps/release.sh
+    ./scripts/release.sh
Original file line number	Diff line number	Diff line change
Expand Up		@@ -24,4 +24,4 @@
		5. Now you can run the command:


		./scritps/release.sh
		./scripts/release.sh