maintainers: add vector1dev

This commit is contained in:
vector1dev 2023-06-06 12:36:00 +03:00
parent ba778a9bc3
commit 1e07f76fa8
No known key found for this signature in database
GPG Key ID: 8B6C7BA3249DA84C

View File

@ -16663,6 +16663,12 @@
github = "vdot0x23";
githubId = 40716069;
};
vector1dev = {
name = "vector1dev";
matrix = "@vector1dev:vector1.dev";
github = "vector1dev";
githubId = 127302590;
};
veehaitch = {
name = "Vincent Haupert";
email = "mail@vincent-haupert.de";