chore: Order.Closure Update SHA (#1376)

The corresponding mathlib3 PR was made in order to match changes made in mathlib4 to satisfy the linter while porting
leanprover-community · Jan 6, 2023 · 966f011 · 966f011
1 parent f35d518
commit 966f011
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/Order/Closure.lean b/Mathlib/Order/Closure.lean
@@ -4,7 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Bhavik Mehta, Yaël Dillies
 
 ! This file was ported from Lean 3 source module order.closure
-! leanprover-community/mathlib commit 422e70f7ce183d2900c586a8cda8381e788a0c62
+! leanprover-community/mathlib commit f252872231e87a5db80d9938fc05530e70f23a94
 ! Please do not edit these lines, except to modify the commit id
 ! if you have ported upstream changes.
 -/