diff options
author | Andreas Rammhold <andreas@rammhold.de> | 2019-07-21 00:24:12 +0200 |
---|---|---|
committer | Samuel Leathers <samuel.leathers@iohk.io> | 2019-08-31 07:53:35 -0400 |
commit | 9cd7a73f9449f5f567a3eacc830e0e5df1c51314 (patch) | |
tree | e15c7c6285b6d49abb36d4908c9da41c2c7fa72f /maintainers/maintainer-list.nix | |
parent | 39f3ab496171a2c14de797a2d895d91cc37cae01 (diff) |
maintainer: rename f-breidenstein to fleaz
He changed the GitHub handle a while ago.
Diffstat (limited to '')
-rw-r--r-- | maintainers/maintainer-list.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index fb7db98fa3a..7e2fe48a6f4 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -2085,7 +2085,7 @@ githubId = 2817965; name = "f--t"; }; - f-breidenstein = { + fleaz = { email = "mail@felixbreidenstein.de"; github = "fleaz"; githubId = 2489598; |