diff options
| author | Pol Dellaiera <pol.dellaiera@protonmail.com> | 2023-06-15 12:10:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-15 12:10:32 +0200 |
| commit | 686111b8a6a8ab96afa5c2cd50b0787dc7c9ccf6 (patch) | |
| tree | e87a40d4d2cc0205de8e62ae38dc6573e20b4550 /maintainers | |
| parent | 40cdc211f36d865eaabe7f84aabfbdfe672c9a70 (diff) | |
| parent | 05d2db449848898a91c829501acc58e23173ae98 (diff) | |
Merge pull request #236218 from michaelCTS/ondir
ondir: init at 0.2.3
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 6395007fa9c84..27b38d4941c60 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -10433,6 +10433,12 @@ github = "michaelBelsanti"; githubId = 62124625; }; + michaelCTS = { + email = "michael.vogel@cts.co"; + name = "Michael Vogel"; + github = "michaelCTS"; + githubId = 132582212; + }; michaelgrahamevans = { email = "michaelgrahamevans@gmail.com"; name = "Michael Evans"; |