maintainers: add michaeladler

2021-08-11 07:32:10 +02:00
parent 32cdb3956c
commit d0cd76a4f8
1 changed files with 6 additions and 0 deletions
@@ -6977,6 +6977,12 @@
      fingerprint = "3DEE 1C55 6E1C 3DC5 54F5  875A 003F 2096 411B 5F92";
    }];
  };
+  michaeladler = {
+    email = "therisen06@gmail.com";
+    github = "michaeladler";
+    githubId = 1575834;
+    name = "Michael Adler";
+  };
  michaelpj = {
    email = "michaelpj@gmail.com";
    github = "michaelpj";