maintainers: add rudolfvesely

2023-09-24 23:26:09 +02:00
parent ba50929022
commit a4e4c38049
1 changed files with 6 additions and 0 deletions
@@ -15024,6 +15024,12 @@
    github = "rubyowo";
    githubId = 105302757;
  };
+  rudolfvesely = {
+    name = "Rudolf Vesely";
+    email = "i@rudolfvesely.com";
+    github = "rudolfvesely";
+    githubId = 13966949;
+  };
  Ruixi-rebirth = {
    name = "Ruixi-rebirth";
    email = "ruixirebirth@gmail.com";