Merge #39383: maintainers-list.nix: change e-mail

This commit is contained in:
Vladimír Čunát 2018-04-23 22:38:33 +02:00
commit 7ea3c9e864
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA

View File

@ -1731,7 +1731,7 @@
name = "Jeffrey David Johnson"; name = "Jeffrey David Johnson";
}; };
jensbin = { jensbin = {
email = "jensbin@protonmail.com"; email = "jensbin+git@pm.me";
github = "jensbin"; github = "jensbin";
name = "Jens Binkert"; name = "Jens Binkert";
}; };