From 6182495c30836380faedbf408b9be3487cd3b932 Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Tue, 25 Jun 2024 16:50:31 +1000 Subject: [PATCH] chore(README): update maintainers --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 6bc43a0359b34d..e49051c5b8ed02 100644 --- a/README.md +++ b/README.md @@ -136,7 +136,7 @@ For a list containing more detailed information, see https://leanprover-communit * Patrick Massot (@patrickmassot): documentation, topology, geometry * Bhavik Mehta (@b-mehta): category theory, combinatorics * Kyle Miller (@kmill): combinatorics, tactics, metaprogramming -* Scott Morrison (@semorrison): category theory, tactics +* Kim Morrison (@semorrison): category theory, tactics * Oliver Nash (@ocfnash): algebra, geometry, topology * Joël Riou (@joelriou): category theory, homology, algebraic geometry * Adam Topaz (@adamtopaz): algebra, category theory, algebraic geometry