maintainers: update rnhmjoj information

This commit is contained in:
rnhmjoj 2019-08-29 13:30:59 +02:00
parent b6d906732c
commit 38aa8faa30
No known key found for this signature in database
GPG key ID: BFBAF4C975F76450

View file

@ -5340,10 +5340,16 @@
name = "Richard Lupton";
};
rnhmjoj = {
email = "micheleguerinirocco@me.com";
email = "rnhmjoj@inventati.org";
github = "rnhmjoj";
githubId = 2817565;
name = "Michele Guerini Rocco";
keys =
[
{ longkeyid = "ed25519/0xBFBAF4C975F76450";
fingerprint = "92B2 904F D293 C94D C4C9 3E6B BFBA F4C9 75F7 6450";
}
];
};
rob = {
email = "rob.vermaas@gmail.com";