maintainers: add toschmidt

This commit is contained in:
Tobias Schmidt 2020-04-18 13:13:26 +02:00
parent 8f43c55598
commit 677df72179
No known key found for this signature in database
GPG Key ID: 4C7186083D6B6ADE

View File

@ -7782,6 +7782,12 @@
githubId = 1486805;
name = "Toon Nolten";
};
toschmidt = {
email = "tobias.schmidt@in.tum.de";
github = "toschmidt";
githubId = 27586264;
name = "Tobias Schmidt";
};
travisbhartwell = {
email = "nafai@travishartwell.net";
github = "travisbhartwell";