maintainers: add martinramm

2023-03-19 00:15:41 +01:00
parent f967d005f7
commit aeece9d990
1 changed files with 6 additions and 0 deletions
@@ -9307,6 +9307,12 @@
    githubId = 458783;
    name = "Martin Gammelsæter";
  };
+  martinramm = {
+    email = "martin-ramm@gmx.de";
+    github = "MartinRamm";
+    githubId = 31626748;
+    name = "Martin Ramm";
+  };
  marzipankaiser = {
    email = "nixos@gaisseml.de";
    github = "marzipankaiser";