From 6340b242b98db70232f0af6275c292ca0ef333ea Mon Sep 17 00:00:00 2001 From: Michael Gardner Date: Sat, 6 Jun 2026 21:32:37 -0400 Subject: [PATCH] chore(release): patch v4.1.1 tag date 2026-06-09 Replace placeholders introduced by the F2 release-prep PR (#7) with the actual intended tag date 2026-06-09 UTC. The placeholder occurs in four locations across three files: - CHANGELOG.md top metadata Date and [4.1.1] section heading - README.md top metadata Date - config/README.md top metadata Date This is the immediate pre-tag PR. The annotated v4.1.1 tag will be created on the squash-merge commit produced by this PR after explicit owner + Codex authorization. Scope: CHANGELOG.md, README.md, config/README.md (date-only). No version-surface changes; no source / test / formal-doc / CI changes; no tag, GitHub Release, alr publish, or dependency unpinning in this commit. Refs: adafmt#42 --- CHANGELOG.md | 4 ++-- README.md | 2 +- config/README.md | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 0d85981..544294a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,7 +1,7 @@ # Changelog **Version:** 4.1.1
-**Date:**
+**Date:** 2026-06-09
**SPDX-License-Identifier:** BSD-3-Clause
**License File:** See the LICENSE file in the project root
**Copyright:** © 2025-2026 Michael Gardner, A Bit of Help, Inc.
@@ -18,7 +18,7 @@ No unreleased changes yet. --- -## [4.1.1] - +## [4.1.1] - 2026-06-09 ### Fixed diff --git a/README.md b/README.md index 36f7eee..dc6eb43 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@ [![License](https://img.shields.io/badge/license-BSD--3--Clause-blue.svg)](LICENSE) [![Ada](https://img.shields.io/badge/Ada-2022-blue.svg)](https://ada-lang.io) [![SPARK](https://img.shields.io/badge/SPARK-Proved-green.svg)](https://www.adacore.com/about-spark) [![Alire](https://img.shields.io/badge/Alire-2.0+-blue.svg)](https://alire.ada.dev) **Version:** 4.1.1
-**Date:**
+**Date:** 2026-06-09
**SPDX-License-Identifier:** BSD-3-Clause
**License File:** See the LICENSE file in the project root
**Copyright:** © 2025-2026 Michael Gardner, A Bit of Help, Inc.
diff --git a/config/README.md b/config/README.md index efcdbca..3b61da6 100644 --- a/config/README.md +++ b/config/README.md @@ -1,7 +1,7 @@ # Functional Library - Embedded Restrictions **Version:** 4.1.1
-**Date:**
+**Date:** 2026-06-09
**SPDX-License-Identifier:** BSD-3-Clause
**License File:** See the LICENSE file in the project root
**Copyright:** © 2025-2026 Michael Gardner, A Bit of Help, Inc.