diff options
| author | Tobias Ravenstein <github@rvnstn.de> | 2023-02-10 18:13:56 +0100 |
|---|---|---|
| committer | Tobias Ravenstein <github@rvnstn.de> | 2023-02-10 18:13:56 +0100 |
| commit | 571de3804ff764e3b37a578853e83589fa4f552b (patch) | |
| tree | 5bd30b93a7d781a313279b7c326f02a776881075 /maintainers | |
| parent | e8ccc50d4cf9adc6be17039bd764e51481ae2c3b (diff) | |
maintainers: add rvnstn
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 92ddda5ca230c..90e789a961205 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -12815,6 +12815,12 @@ githubId = 5236428; name = "Gaëtan André"; }; + rvnstn = { + email = "github@rvnstn.de"; + github = "rvnstn"; + githubId = 2364742; + name = "Tobias Ravenstein"; + }; rvolosatovs = { email = "rvolosatovs@riseup.net"; github = "rvolosatovs"; |