Un-deprecate: This continues being useful

[pinch] / Changelog

diff --git a/Changelog b/Changelog
index 4dce10e72cb3b371e647cd7207159bbbfca1d3f6..b1f8cf16a6054057274ae224c28aff66e0ef3b05 100644 (file)
--- a/Changelog
+++ b/Changelog
@@ -1,5 +1,9 @@
 ## [Unreleased]
 ## [Unreleased]

+
+
+## [3.0.12] - 2023-12-07

 - Fixed nested-git issues in pre-commit hook
 - Fixed nested-git issues in pre-commit hook

+- Adapt to new, stricter minidom type checks

 - Cleaned up changelog
 
 
 - Cleaned up changelog