Merge pull request #238089 from riotbib/maintainers-change-mail-riotbib

maintainers: update riotbib
This commit is contained in:
Weijia Wang 2023-06-16 16:28:05 +03:00 committed by GitHub
commit c143bb1da6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -13696,7 +13696,7 @@
name = "Riley Inman"; name = "Riley Inman";
}; };
riotbib = { riotbib = {
email = "github-nix@lnrt.de"; email = "lennart@cope.cool";
github = "riotbib"; github = "riotbib";
githubId = 43172581; githubId = 43172581;
name = "Lennart Mühlenmeier"; name = "Lennart Mühlenmeier";