From 3162e25c227120f5bb43dd9a9c20f542cf864a62 Mon Sep 17 00:00:00 2001 From: Anne Baanen Date: Wed, 10 Jul 2024 20:53:24 +0000 Subject: [PATCH] docs(README): Rename "Emeritus maintainers" to "Past maintainers" (#14615) As discussed at the maintainers meeting. This more accurately reflects their position, in that they are not expected to remain involved in maintainer discussions. --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index b2fb17dd1a6d0..a5e54116520cd 100644 --- a/README.md +++ b/README.md @@ -149,8 +149,9 @@ For a list containing more detailed information, see https://leanprover-communit * Adam Topaz (@adamtopaz): algebra, category theory, algebraic geometry * Eric Wieser (@eric-wieser): algebra, infrastructure -## Emeritus maintainers: +## Past maintainers: * Jeremy Avigad (@avigad): analysis * Johannes Hölzl (@johoelzl): measure theory, topology * Simon Hudon (@cipher1024): tactics +* Chris Hughes (@ChrisHughes24): algebra