Merge pull request #276197 from adhocteam/paulsmith/maintainers

maintainers: add paulsmith
This commit is contained in:
Janik 2023-12-23 05:46:20 +01:00 committed by GitHub
commit 80e5019b1d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -14128,6 +14128,12 @@
githubId = 15645854;
name = "Brad Christensen";
};
paulsmith = {
email = "paulsmith@pobox.com";
github = "paulsmith";
name = "Paul Smith";
githubId = 1210;
};
paumr = {
github = "paumr";
name = "Michael Bergmeister";