minor changes

Alidra · Alidra · commit 6b8d5e0555c6 · 2025-11-26T17:43:32.000+01:00
diff --git a/CHANGES.md b/CHANGES.md
@@ -5,6 +5,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/).
 
 ## 1.3.0
 
+
 ### Added
 
 - FunExt: axiom for functional extensionality
