doc(readme): add Eric Wieser to maintainer list (#6688)

leanprover-community · Mar 15, 2021 · e16ae24 · e16ae24
1 parent b5f3832
commit e16ae24
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -64,3 +64,4 @@ welcomed.
 * Heather Macbeth (@hrmacbeth): geometry, analysis
 * Patrick Massot (@patrickmassot): documentation, topology
 * Scott Morrison (@semorrison): category theory
+* Eric Wieser (@eric-wieser): algebra, infrastructure