From aedffbde377a8dd2a089fe5a011e60882e085c17 Mon Sep 17 00:00:00 2001 From: Mathieu Barbin Date: Fri, 3 Nov 2023 16:36:35 +0100 Subject: [PATCH] prepare 0.2.3 --- CHANGES.md | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index e138a6f7..32c8ad29 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,16 +1,14 @@ -## unreleased - -### Added +## 0.2.3 (2023-11-03) ### Changed - Migrate Docusaurus config files to TypeScript. -### Deprecated - ### Fixed -### Removed +- Fix `bopkit -version`. There are subtle differences between using + `public_name` and `(install (section bin))` which I do not understand yet, but + using the latter disables dune-build-info. ## 0.2.2 (2023-11-03)