diff options
author | Emily <git@emilylange.de> | 2023-07-24 15:16:42 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-24 15:16:42 +0200 |
commit | b370d44b2ae7a887c886b11217c2297820337248 (patch) | |
tree | 1feff29ec6e9f929f6a6be8549ecebf18a2eae4e /maintainers | |
parent | 0e2ae649f20e25d4282d0ff790a671a5c3eacd4d (diff) | |
parent | 83c185b899cae4819f7890615f732f17b7b8e284 (diff) |
Merge pull request #244441 from janvotava/master
timoni: init at 0.10.0
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 22e9625ba5632..712d4407031ba 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -17610,6 +17610,12 @@ githubId = 3413119; name = "Vonfry"; }; + votava = { + email = "votava@gmail.com"; + github = "janvotava"; + githubId = 367185; + name = "Jan Votava"; + }; vq = { email = "vq@erq.se"; github = "vq"; |