maintainers: add michaelBrunner

This commit is contained in:
Michael Brunner 2023-10-04 11:34:47 +02:00
parent d082876654
commit a06b7a48f0

View File

@ -11339,6 +11339,12 @@
github = "michaelBelsanti";
githubId = 62124625;
};
michaelBrunner = {
email = "michael.brunn3r@gmail.com";
name = "Michael Brunner";
github = "MichaelBrunn3r";
githubId = 19626539;
};
michaelCTS = {
email = "michael.vogel@cts.co";
name = "Michael Vogel";