Merge pull request #121766 from bmwalters/minipro

2021-05-12 23:23:08 +02:00
parent 3d06d98b28 ffaa531239
commit c92942e00d
3 changed files with 43 additions and 0 deletions
@@ -1322,6 +1322,12 @@
    github = "bmilanov";
    githubId = 30090366;
  };
+  bmwalters = {
+    name = "Bradley Walters";
+    email = "oss@walters.app";
+    github = "bmwalters";
+    githubId = 4380777;
+  };
  bobakker = {
    email = "bobakk3r@gmail.com";
    github = "bobakker";