add robwalt to maintainer list

This commit is contained in:
RobWalt 2023-05-21 15:21:35 +02:00
parent 01ebc653bf
commit da7e855401

View File

@ -13577,6 +13577,12 @@
githubId = 1069318;
name = "Robin Lambertz";
};
robwalt = {
email = "robwalter96@gmail.com";
github = "robwalt";
githubId = 26892280;
name = "Robert Walter";
};
roconnor = {
email = "roconnor@theorem.ca";
github = "roconnor";