backport changes to the release notes in master

pietroalbini · pietroalbini · commit c246819c5830 · 2024-08-04T12:31:45.000+02:00
diff --git 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>
