diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2024-08-04 11:12:13 +0200 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2024-08-04 12:31:45 +0200 |
commit | c246819c583041613cf7c0cd793a8b56a6406559 (patch) | |
tree | dea8eddc76b044937774ccef7c6a3032ded3472e | |
parent | 8406ccca4397148c3c10fdd7eff41982cc81f1a7 (diff) |
backport changes to the release notes in master
-rw-r--r-- | RELEASES.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/RELEASES.md b/RELEASES.md index 0ecd472efb6..2c91ddf7826 100644 --- a/RELEASES.md +++ b/RELEASES.md @@ -1,4 +1,4 @@ -Version 1.80 (2024-07-25) +Version 1.80.0 (2024-07-25) ========================== <a id="1.80-Language"></a> |