teams: Add Tobias Geerinckx-Rice.

* etc/teams.scm.in: Add Tobias Geerinckx-Rice.
2022-12-11 01:00:00 +01:00 · 2022-12-11 01:00:00 +01:00 · 5f3082084d
parent 34e8cd1e4c
commit 5f3082084d
1 changed files with 4 additions and 0 deletions
--- a/etc/teams.scm.in
+++ b/etc/teams.scm.in
@ -428,6 +428,10 @@ importer."
                       "andreas@enge.fr")
  science)

+(define-member (person "Tobias Geerinckx-Rice"
+                       "me@tobias.gr")
+  core kernel mentors)
+
 (define-member (person "Björn Höfling"
                       "bjoern.hoefling@bjoernhoefling.de")
  java)