diff options
author | figsoda <figsoda@pm.me> | 2023-04-24 09:48:01 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-24 09:48:01 -0400 |
commit | 18028a3d71835b08576592a0241fa84c7934111c (patch) | |
tree | 76bf9258e860b3e9ebbc983b0eee086b803310b4 /maintainers | |
parent | 99b828355e483e43371896343eacf683f3133261 (diff) | |
parent | 466bfb64dc048e19442001e18e1000e2d914f5a4 (diff) |
Merge pull request #227322 from geri1701/master
typst-fmt: init at unstable-2023-04-16
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 0260f3627b54c..ee231ce5ae36e 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -5592,6 +5592,12 @@ fingerprint = "D0CF 440A A703 E0F9 73CB A078 82BB 70D5 41AE 2DB4"; }]; }; + geri1701 = { + email = "geri@sdf.org"; + github = "geri1701"; + githubId = 67984144; + name = "Gerhard Schwanzer"; + }; gerschtli = { email = "tobias.happ@gmx.de"; github = "Gerschtli"; |