diff options
Diffstat (limited to 'script')
| -rw-r--r-- | script/.contributors_aliases.json | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/script/.contributors_aliases.json b/script/.contributors_aliases.json index 6563c71d4..44ca36e20 100644 --- a/script/.contributors_aliases.json +++ b/script/.contributors_aliases.json @@ -602,5 +602,9 @@ "yileiyang@google.com": { "mails": ["yileiyang@google.com"], "name": "Yilei \"Dolee\" Yang" + }, + "hofrob@protonmail.com": { + "mails": ["hofrob@protonmail.com"], + "name": "Robert Hofer" } } |