From e3459851bcfad6edb3649cd024aa30dfc6a50b3e Mon Sep 17 00:00:00 2001
From: Christoph Jabs <98587286+chrjabs@users.noreply.github.com>
Date: Thu, 11 Jan 2024 16:18:06 +0200
Subject: [PATCH] Manual changelog update

---
 CHANGELOG.md         | 6 ++++++
 cadical/CHANGELOG.md | 6 ++++++
 glucose/CHANGELOG.md | 6 ++++++
 kissat/CHANGELOG.md  | 6 ++++++
 minisat/CHANGELOG.md | 6 ++++++
 5 files changed, 30 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 95bc4928..68c66648 100644
--- 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
index 20303b74..8251edcd 100644
--- 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
index 78b421cd..ce796dc7 100644
--- 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
index 4252ccc4..f311b30e 100644
--- 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
index da6a0978..fad9a0b2 100644
--- 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