Merge branch 'devel' into docs/no-former-languagedocs/no-former-language

2 files changed, 29 insertions, 1 deletions

diff --git a/docs/contributing.md b/docs/contributing.md
index ac736ffd..4edecee2 100644
--- a/docs/contributing.md
+++ b/docs/contributing.md
@@ -66,7 +66,7 @@ The tools in `tools/` are C++17 and run through Bazel, with arguments after
 | `//tools:amalgamate` | writes the single-file distribution; `-- --check` only compares it |
 | `//tools:check` | runs the repository checks |
 | `//tools:third_party` | `-- --check` compares `third_party/` with the archives `MODULE.bazel` pins, `-- --update` writes it |
-| `//tools:version` | prints the version; `-- --next` or `-- <version>` moves every place that states it, and the distribution |
+| `//tools:version` | prints the version; `-- <version>` (`MAJOR.MINOR.PATCH`) or `-- --next` (the next patch release) moves every place that states it, and the distribution |
 | `//tools:release_notes` | prints a section of the release notes, of `-- <version>` or the current one |
 | `//tools:repo_info` | reports the checkout and the tools on `PATH`; `-- --json` writes it as JSON |
 
diff --git a/docs/release-notes.md b/docs/release-notes.md
index 4e2dea80..a250fc95 100644
--- a/docs/release-notes.md
+++ b/docs/release-notes.md
@@ -7,6 +7,7 @@ based on Catch2 3.16.1; Catch2's own history is in
 [its release notes](https://github.com/catchorg/Catch2/blob/devel/docs/release-notes.md).
 
 **Contents**<br>
+[0.4.0](#040)<br>
 [0.3.0.2](#0302)<br>
 [0.3.0.1](#0301)<br>
 [0.3.0](#030)<br>
@@ -14,6 +15,33 @@ based on Catch2 3.16.1; Catch2's own history is in
 [0.1.0](#010)<br>
 
 
+## 0.4.0
+
+Released 2026-11-15.
+
+Versions of Catch3 have three numbers again from this release on:
+`MAJOR.MINOR.PATCH`, as Semantic Versioning writes them.
+
+### The Catch3 runner
+
+* `--coverage=DIR` runs every test in a process of its own and keeps what each
+  one reached: `DIR/coverage.json` maps every test to the lines it ran, and
+  `DIR/coverage.lcov` is the run combined. It reads LLVM source-based coverage
+  (Clang) and gcov (GCC). See [Per-test coverage](progmasoft-runner.md#per-test-coverage).
+* Workers and the processes the runner starts no longer inherit the variables
+  whose names look like secrets (`TOKEN`, `SECRET`, `PASSWORD` and the like).
+  `--pass-env=NAME`, which can be repeated, or `"pass-env"` in the project
+  configuration hands one to the tests that need it.
+  See [Environment variables](progmasoft-runner.md#environment-variables).
+
+### Tools
+
+* The repository tools are C++17 and run through Bazel:
+  `//tools:check`, `//tools:amalgamate`, `//tools:version`,
+  `//tools:release_notes`, `//tools:repo_info` and `//tools:third_party`.
+  They replace the Python scripts of earlier releases.
+
+
 ## 0.3.0.2
 
 Released 2026-11-01.