chore: git sha bump for a trivial change in Data/Rat/Defs (#1372)

Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
leanprover-community · Jan 6, 2023 · 435d9d6 · 435d9d6
1 parent 8a65b4a
commit 435d9d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/Data/Rat/Defs.lean b/Mathlib/Data/Rat/Defs.lean
@@ -4,7 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Johannes Hölzl, Mario Carneiro
 
 ! This file was ported from Lean 3 source module data.rat.defs
-! leanprover-community/mathlib commit fc2ed6f838ce7c9b7c7171e58d78eaf7b438fb0e
+! leanprover-community/mathlib commit 18a5306c091183ac90884daa9373fa3b178e8607
 ! Please do not edit these lines, except to modify the commit id
 ! if you have ported upstream changes.
 -/