maintainers: add rgrinberg

This commit is contained in:
Rudi Grinberg 2022-03-24 10:18:43 -06:00
parent cf7556eea5
commit e68446288e

View File

@ -10398,6 +10398,12 @@
githubId = 811827;
name = "Gabriel Lievano";
};
rgrinberg = {
name = "Rudi Grinberg";
email = "me@rgrinberg.com";
github = "rgrinberg";
githubId = 139003;
};
rgrunbla = {
email = "remy@grunblatt.org";
github = "rgrunbla";