update CHANGES.md

Deducteam · Feb 10, 2025 · f8978c3 · f8978c3
1 parent 79e24ca
commit f8978c3
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -3,6 +3,12 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/),
 and this project adheres to [Semantic Versioning](https://semver.org/).
 
+## Unreleased
+
+### Fixed
+
+- Notations on external symbols are now exported
+
 ## 2.6.0 (2025-01-25)
 
 ### Added