maintainers: add paulsmith

This commit is contained in:
Paul Smith 2023-12-22 22:02:40 -06:00
parent ea8bb2df93
commit 4496162873

View file

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