summary refs log tree commit diff
path: root/maintainers/maintainer-list.nix
diff options
context:
space:
mode:
authorPol Dellaiera <pol.dellaiera@protonmail.com>2023-08-15 10:52:42 +0200
committerGitHub <noreply@github.com>2023-08-15 10:52:42 +0200
commitb1e020dcfeebed911b90f8267053613aaeba3aa3 (patch)
tree330848a175fe1a07c4e625705671853d284863ef /maintainers/maintainer-list.nix
parent4c9ae26c42f1583730ae377d00b4564d50fcd094 (diff)
parent090ac7923541810892cd78ed87afcbc958081451 (diff)
downloadnixpkgs-b1e020dcfeebed911b90f8267053613aaeba3aa3.tar
nixpkgs-b1e020dcfeebed911b90f8267053613aaeba3aa3.tar.gz
nixpkgs-b1e020dcfeebed911b90f8267053613aaeba3aa3.tar.bz2
nixpkgs-b1e020dcfeebed911b90f8267053613aaeba3aa3.tar.lz
nixpkgs-b1e020dcfeebed911b90f8267053613aaeba3aa3.tar.xz
nixpkgs-b1e020dcfeebed911b90f8267053613aaeba3aa3.tar.zst
nixpkgs-b1e020dcfeebed911b90f8267053613aaeba3aa3.zip
Merge pull request #248522 from katexochen/dumpasn1-init
dumpasn1: init at 20230207.0.0
Diffstat (limited to 'maintainers/maintainer-list.nix')
-rw-r--r--maintainers/maintainer-list.nix5
1 files changed, 5 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix
index 27325e6132c..627d4599981 100644
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -8724,6 +8724,11 @@
     githubId = 1927188;
     name = "karolchmist";
   };
+  katexochen = {
+    github = "katexochen";
+    githubId = 49727155;
+    name = "Paul Meyer";
+  };
   kayhide = {
     email = "kayhide@gmail.com";
     github = "kayhide";