chore: bump toolchain to v4.34.0-rc1

Author: Garmelon

Manual/Releases.lean

@@ -6,6 +6,7 @@ Author: Joachim Breitner
 
 import VersoManual
 
+import Manual.Releases.«v4_34_0»
 import Manual.Releases.«v4_33_0»
 import Manual.Releases.«v4_32_2»
 import Manual.Releases.«v4_32_1»
@@ -66,6 +67,8 @@ This section provides release notes about recent versions of Lean. When updating
 read the corresponding release notes. They may contain advice that will help you understand
 the differences with the previous version and upgrade your projects.
 
+{include 0 Manual.Releases.«v4_34_0»}
+
 {include 0 Manual.Releases.«v4_33_0»}
 
 {include 0 Manual.Releases.«v4_32_2»}