Add 0.23.0 to CHANGELOG

Ref. eng/recordflux/RecordFlux#1755

Author: treiher

CHANGELOG.md

@@ -5,7 +5,7 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-## [Unreleased]
+## [0.23.0] - 2024-08-23
 
 ### Changed
 
@@ -16,7 +16,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Fixed
 
 - Generic setters for opaque fields
-- Separation of externally defined functions from state machine (eng/recordflux/RecordFlux#1032)
+- Separation of externally defined functions from state machine (AdaCore/RecordFlux#1032, eng/recordflux/RecordFlux#1032)
 - Missing checks in state machine to improve provability (eng/recordflux/RecordFlux#1704)
 
 ## [0.22.0] - 2024-07-17
@@ -554,7 +554,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [0.1.0] - 2019-05-14
 
-[Unreleased]: https://github.com/AdaCore/RecordFlux/compare/v0.22.0...HEAD
+[0.23.0]: https://github.com/AdaCore/RecordFlux/compare/v0.22.0...v0.23.0
 [0.22.0]: https://github.com/AdaCore/RecordFlux/compare/v0.21.0...v0.22.0
 [0.21.0]: https://github.com/AdaCore/RecordFlux/compare/v0.20.0...v0.21.0
 [0.20.0]: https://github.com/AdaCore/RecordFlux/compare/v0.19.0...0.20.0