@@ -1,4 +1,4 @@
-0.25.0 UNRELEASED
+0.25.0 2025-12-17
**PLEASE NOTE**: This release makes quite a lot of changes to public APIs. This
is ahead of a 1.0 release, after which API changes will be kept backwards
Jelmer Vernooij