Merge pull request #120721 from diogox/master

frugal: init at 3.14.2
2021-05-03 10:49:43 +01:00
parent 4ffb609a5f 4d773bddeb
commit 97d8c5c9de
3 changed files with 32 additions and 0 deletions
@@ -2445,6 +2445,12 @@
    githubId = 8404455;
    name = "Diego Lelis";
  };
+  diogox = {
+    name = "Diogo Xavier";
+    email = "13244408+diogox@users.noreply.github.com";
+    github = "diogox";
+    githubId = 13244408;
+  };
  dipinhora = {
    email = "dipinhora+github@gmail.com";
    github = "dipinhora";