Adjust email address

This commit is contained in:
Jens Binkert 2018-04-23 21:55:26 +02:00
parent 7ab91da929
commit 412066173d

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";
}; };