Manual changelog update

chrjabs · Jan 11, 2024 · e345985 · e345985
1 parent 37419cd
commit e345985
Show file tree

Hide file tree

Showing 5 changed files with 30 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -3,6 +3,12 @@
 All notable changes to this project will be documented in this file.
 
 <!-- generated by git-cliff -->
+## [0.4.2] - 2024-01-11
+
+### Documentation
+
+- Mark required features in documentation on [docs.rs](https://docs.rs/rustsat)
+
 ## [0.4.1] - 2024-01-11
 
 ### Documentation

diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md
@@ -3,6 +3,12 @@
 All notable changes to this project will be documented in this file.
 
 <!-- generated by git-cliff -->
+## [0.2.3] - 2024-01-11
+
+### Documentation
+
+- Fix [docs.rs](https://docs.rs/rustsat-cadical) build
+
 ## [0.2.2] - 2024-01-11
 
 ### Bug Fixes

diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md
@@ -3,6 +3,12 @@
 All notable changes to this project will be documented in this file.
 
 <!-- generated by git-cliff -->
+## [0.2.3] - 2024-01-11
+
+### Documentation
+
+- Fix [docs.rs](https://docs.rs/rustsat-glucose) build
+
 ## [0.2.2] - 2024-01-11
 
 ### Bug Fixes

diff --git a/kissat/CHANGELOG.md b/kissat/CHANGELOG.md
@@ -3,6 +3,12 @@
 All notable changes to this project will be documented in this file.
 
 <!-- generated by git-cliff -->
+## [0.1.5] - 2024-01-11
+
+### Documentation
+
+- Fix [docs.rs](https://docs.rs/rustsat-kissat) build
+
 ## [0.1.4] - 2024-01-11
 
 ### Documentation

diff --git a/minisat/CHANGELOG.md b/minisat/CHANGELOG.md
@@ -3,6 +3,12 @@
 All notable changes to this project will be documented in this file.
 
 <!-- generated by git-cliff -->
+## [0.2.3] - 2024-01-11
+
+### Documentation
+
+- Fix [docs.rs](https://docs.rs/rustsat-minisat) build
+
 ## [0.2.2] - 2024-01-11
 
 ### Bug Fixes