Unrolled build for rust-lang#128187

rust-timer · web-flow · commit 38765f9f0488 · 2024-07-25T16:27:07.000-04:00
Rollup merge of rust-lang#128187 - Urgau:fix-1.80.0-release-version, r=pietroalbini Fix 1.80.0 version in RELEASES.md https://rust-lang.zulipchat.com/#narrow/stream/241545-t-release/topic/1.2E80/near/453937871 r? ``@Mark-Simulacrum`` (or who ever wants) Fixes rust-lang#128188
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>

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-Version 1.80 (2024-07-25)`
	`1`	`+Version 1.80.0 (2024-07-25)`
`2`	`2`	`==========================`
`3`	`3`
`4`	`4`	`<a id="1.80-Language"></a>`