chore: update SHA from #3753 (#3799)

I forgot to update it in #3753.
leanprover-community · May 5, 2023 · 4857a22 · 4857a22
1 parent d1ae7b1
commit 4857a22
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/Data/Set/Intervals/Basic.lean b/Mathlib/Data/Set/Intervals/Basic.lean
@@ -5,7 +5,7 @@ Authors: Johannes Hölzl, Mario Carneiro, Patrick Massot, Yury Kudryashov, Rémy
 Ported by: Winston Yin, Arien Malec
 
 ! This file was ported from Lean 3 source module data.set.intervals.basic
-! leanprover-community/mathlib commit 198161d833f2c01498c39c266b0b3dbe2c7a8c07
+! leanprover-community/mathlib commit 4367b192b58a665b6f18773f73eb492eb4df7990
 ! Please do not edit these lines, except to modify the commit id
 ! if you have ported upstream changes.
 -/