Oops, somehow a participant got deleted

leanprover-community · Jul 17, 2020 · ba84e58 · ba84e58
1 parent 26a3835
commit ba84e58
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/participants.md b/docs/participants.md
@@ -88,6 +88,7 @@ to add your name to the list below (in alphabetical order).
 * Adam Topaz (University of Alberta, CA)
 * Eloi Torrents (Universitat Politècnica de Catalunya, CAT)
 * Daan van Gent (Universiteit Leiden, NL)
+* Philip A. Vetter (Institute of Deep-sea Science and Engineering, CAS, Sanya Hainan, CN)
 * David Wärn (University of Cambridge, UK)
 * Chris Wong
 * Tony Yue Yu (Université Paris-Saclay at Orsay, FR)