diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-12-07 16:04:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-07 16:04:47 +0100 |
| commit | b5b7902a08e63290b7f775c6ccecdee11c3df556 (patch) | |
| tree | 7c84c72d5cbc3331c5ca27421507ebf5446e1f25 /doc/manual/src/SUMMARY.md.in | |
| parent | 8e0946e8df968391d1430af8377bdb51204e4666 (diff) | |
| parent | c710aa1abd51231ce45fc419de2e0e82c8957fbd (diff) | |
Merge branch 'master' into remove-repeat
Diffstat (limited to 'doc/manual/src/SUMMARY.md.in')
| -rw-r--r-- | doc/manual/src/SUMMARY.md.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/manual/src/SUMMARY.md.in b/doc/manual/src/SUMMARY.md.in index 908e7e3d9..6a514fa2c 100644 --- a/doc/manual/src/SUMMARY.md.in +++ b/doc/manual/src/SUMMARY.md.in @@ -65,6 +65,7 @@ - [CLI guideline](contributing/cli-guideline.md) - [Release Notes](release-notes/release-notes.md) - [Release X.Y (202?-??-??)](release-notes/rl-next.md) + - [Release 2.12 (2022-12-06)](release-notes/rl-2.12.md) - [Release 2.11 (2022-08-25)](release-notes/rl-2.11.md) - [Release 2.10 (2022-07-11)](release-notes/rl-2.10.md) - [Release 2.9 (2022-05-30)](release-notes/rl-2.9.md) |