Un-deprecate: This continues being useful

[pinch] / Changelog

diff --git a/Changelog b/Changelog
index 94a5db5ad1d30131fbf50e28e9f6703eacfa92eb..b1f8cf16a6054057274ae224c28aff66e0ef3b05 100644 (file)
--- a/Changelog
+++ b/Changelog
@@ -1,4 +1,7 @@
 ## [Unreleased]
+
+
+## [3.0.12] - 2023-12-07
 - Fixed nested-git issues in pre-commit hook
 - Adapt to new, stricter minidom type checks
 - Cleaned up changelog