diff --git a/crucible-mir/CHANGELOG.md b/crucible-mir/CHANGELOG.md
index 64ce88063..7d54558c2 100644
--- a/crucible-mir/CHANGELOG.md
+++ b/crucible-mir/CHANGELOG.md
@@ -1,3 +1,16 @@
+# next
+
+* `crucible-mir` now supports the `nightly-2023-01-23` Rust toolchain. Some of
+  the highlights of this include:
+
+  * Properly support for Rust's new constant forms
+  * Better support for zero-sized constants
+  * Encoding enum discriminant types so that `crucible-mir` can know about
+    non-`isize` discriminant types (e.g., `Ordering`, which uses an `i8`
+    discriminant)
+  * A more intelligent way of computing crate disambiguators for looking up
+    known types such as `MaybeUninit` and `Option`
+
 # 0.1
 
 * Much of the `crux-mir` library has been split off into a `crucible-mir`
diff --git a/crux-mir/CHANGELOG.md b/crux-mir/CHANGELOG.md
index 67282381f..16d72b97f 100644
--- a/crux-mir/CHANGELOG.md
+++ b/crux-mir/CHANGELOG.md
@@ -1,3 +1,16 @@
+# next
+
+* `crux-mir` now supports the `nightly-2023-01-23` Rust toolchain. Some of the
+   highlights of this include:
+
+  * Properly support for Rust's new constant forms
+  * Better support for zero-sized constants
+  * Encoding enum discriminant types so that `crux-mir` can know about
+    non-`isize` discriminant types (e.g., `Ordering`, which uses an `i8`
+    discriminant)
+  * A more intelligent way of computing crate disambiguators for looking up
+    known types such as `MaybeUninit` and `Option`
+
 # 0.7 -- 2023-06-26
 
 ## API changes