chore Data.List.Dedup : Update SHA (#1484)

leanprover-community · Jan 11, 2023 · b3119e9 · b3119e9
1 parent a478d06
commit b3119e9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/Data/List/Dedup.lean b/Mathlib/Data/List/Dedup.lean
@@ -4,7 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Mario Carneiro
 
 ! This file was ported from Lean 3 source module data.list.dedup
-! leanprover-community/mathlib commit 7b78d1776212a91ecc94cf601f83bdcc46b04213
+! leanprover-community/mathlib commit 6133ae2da6ae6693248bb5451de703f1ef154cc8
 ! Please do not edit these lines, except to modify the commit id
 ! if you have ported upstream changes.
 -/