docs(README): revert 96ebf8c

Revert "docs(README): Remove Patrick from the maintainer list." This reverts commit 96ebf8c.
leanprover-community · Nov 22, 2019 · 5a1a469 · 5a1a469
1 parent 004618a
commit 5a1a469
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -51,4 +51,5 @@ welcomed.
 * Simon Hudon (@cipher1024): all
 * Chris Hughes (@ChrisHughes24): group theory, ring theory, field theory
 * Robert Y. Lewis (@robertylewis): all
+* Patrick Massot (@patrickmassot): documentation, topology
 * Scott Morrison (@semorrison): category theory