fix: replace blob sha with commit sha (#2242)

This is now flagged by the port-status at https://leanprover-community.github.io/mathlib-port-status/file/data/nat/dist
leanprover-community · Feb 13, 2023 · 1b617fc · 1b617fc
1 parent 5bf726d
commit 1b617fc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/Data/Nat/Dist.lean b/Mathlib/Data/Nat/Dist.lean
@@ -4,7 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Floris van Doorn, Jeremy Avigad
 
 ! This file was ported from Lean 3 source module data.nat.dist
-! leanprover-community/mathlib commit 318fa77a2ba140a221a5b6cabae466ba855c2ffc
+! leanprover-community/mathlib commit d50b12ae8e2bd910d08a94823976adae9825718b
 ! Please do not edit these lines, except to modify the commit id
 ! if you have ported upstream changes.
 -/