changelog entry

AdaCore · Aug 31, 2023 · fc7d80b · fc7d80b
1 parent e391995
commit fc7d80b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -14,6 +14,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Changed
 
 - Reject duplicate optional arguments in `rflx` CLI (eng/recordflux/RecordFlux#1342)
+- Split the `Valid_Context` into multiple functions (eng/recordflux/RecordFlux#1385)
 
 ### Removed