merge master

leanprover-community · Sep 3, 2024 · 1680fb3 · 1680fb3
2 parents e18551d + 9d0bdd0
commit 1680fb3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Qq/Macro.lean b/Qq/Macro.lean
@@ -9,7 +9,7 @@ This file provides the main feature of `Qq`; the `q( )` and `Q( )` macros,
 which are available with `open scoped Qq`.
 -/
 
-open Lean Meta Std
+open Lean Meta
 
 namespace Qq
 

diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.11.0-rc3
+leanprover/lean4:v4.11.0
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		leanprover/lean4:v4.11.0-rc3
		leanprover/lean4:v4.11.0