maintainers: add dramaturg

4 years ago · 1a6a810d26
parent e2e54225bf
commit 1a6a810d26
1 changed files with 6 additions and 0 deletions
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@ -2038,6 +2038,12 @@
    githubId = 108501;
    name = "David Pflug";
  };
+  dramaturg = {
+    email = "seb@ds.ag";
+    github = "dramaturg";
+    githubId = 472846;
+    name = "Sebastian Krohn";
+  };
  drets = {
    email = "dmitryrets@gmail.com";
    github = "drets";