From 56d3d977c604e177beabb0af7a191a42bd740b6b Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Sat, 25 Mar 2023 07:18:46 +0000 Subject: [PATCH] chore: update SHA for Data.List.Count (#3075) --- Mathlib/Data/List/Count.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Mathlib/Data/List/Count.lean b/Mathlib/Data/List/Count.lean index 649641231f538..91984727f72ee 100644 --- a/Mathlib/Data/List/Count.lean +++ b/Mathlib/Data/List/Count.lean @@ -4,7 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE. Authors: Parikshit Khanna, Jeremy Avigad, Leonardo de Moura, Floris van Doorn, Mario Carneiro ! This file was ported from Lean 3 source module data.list.count -! leanprover-community/mathlib commit 6afc9b06856ad973f6a2619e3e8a0a8d537a58f2 +! leanprover-community/mathlib commit 47adfab39a11a072db552f47594bf8ed2cf8a722 ! Please do not edit these lines, except to modify the commit id ! if you have ported upstream changes. -/