diff options
Diffstat (limited to 'script/.contributors_aliases.json')
| -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 7a3c4e04b..f77b993a7 100644 --- a/script/.contributors_aliases.json +++ b/script/.contributors_aliases.json @@ -634,6 +634,10 @@ "mails": ["lothiraldan@gmail.com"], "name": "Boris Feld" }, + "lucas.cimon@gmail.com": { + "mails": ["lucas.cimon@gmail.com", "925560+Lucas-C@users.noreply.github.com"], + "name": "Lucas Cimon" + }, "lucristofolini@gmail.com": { "comment": " (luigibertaco)", "mails": ["luigi.cristofolini@q-ctrl.com", "lucristofolini@gmail.com"], |