Merge pull request #284357 from roconnor/roconnor

maintainers: Update roconnor's email
This commit is contained in:
Martin Weinelt 2024-01-28 15:37:47 +01:00 committed by GitHub
commit 346704b8bc
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -16120,7 +16120,7 @@
name = "Robert Walter";
};
roconnor = {
email = "roconnor@theorem.ca";
email = "roconnor@r6.ca";
github = "roconnor";
githubId = 852967;
name = "Russell O'Connor";