summary refs log tree commit diff
path: root/maintainers
diff options
context:
space:
mode:
authorAndreas Rammhold <andreas@rammhold.de>2019-07-21 00:24:12 +0200
committerSamuel Leathers <samuel.leathers@iohk.io>2019-08-31 07:53:35 -0400
commit9cd7a73f9449f5f567a3eacc830e0e5df1c51314 (patch)
treee15c7c6285b6d49abb36d4908c9da41c2c7fa72f /maintainers
parent39f3ab496171a2c14de797a2d895d91cc37cae01 (diff)
maintainer: rename f-breidenstein to fleaz
He changed the GitHub handle a while ago.
Diffstat (limited to 'maintainers')
-rw-r--r--maintainers/maintainer-list.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix
index fb7db98fa3a55..7e2fe48a6f4f7 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;