maintainers: add j-hui
This commit is contained in:
parent
3a9a6863a7
commit
655127e717
1 changed files with 6 additions and 0 deletions
|
@ -4755,6 +4755,12 @@
|
|||
githubId = 40566146;
|
||||
name = "Jonas Braun";
|
||||
};
|
||||
j-hui = {
|
||||
email = "j-hui@cs.columbia.edu";
|
||||
github = "j-hui";
|
||||
githubId = 11800204;
|
||||
name = "John Hui";
|
||||
};
|
||||
j-keck = {
|
||||
email = "jhyphenkeck@gmail.com";
|
||||
github = "j-keck";
|
||||
|
|
Loading…
Reference in a new issue