maintainers: add davidarmstronglewis

2021-11-10 16:38:42 -08:00
parent 523850d246
commit b1df71e8e2
1 changed files with 6 additions and 0 deletions
@@ -2595,6 +2595,12 @@
    githubId = 91113;
    name = "David Kleuker";
  };
+  davidarmstronglewis = {
+    email = "davidlewis@mac.com";
+    github = "davidarmstronglewis";
+    githubId = 6754950;
+    name = "David Armstrong Lewis";
+  };
  davidrusu = {
    email = "davidrusu.me@gmail.com";
    github = "davidrusu";