summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2022-12-11 01:00:00 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2022-12-11 01:00:00 +0100
commit5f3082084daf4968879a30747eafd23c1206d88a (patch)
tree0e61f6156d5280bf5697ff9a7880eaffb482e1ce
parent34e8cd1e4ce2a778dc04675a01e049910766543a (diff)
teams: Add Tobias Geerinckx-Rice.
* etc/teams.scm.in: Add Tobias Geerinckx-Rice.
-rw-r--r--etc/teams.scm.in4
1 files changed, 4 insertions, 0 deletions
diff --git a/etc/teams.scm.in b/etc/teams.scm.in
index 57d4357900..aa38a3b798 100644
--- 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)