maintainers: add oro

2020-04-10 01:06:23 -07:00
parent d9df0d83f2
commit 376c25ab12
1 changed files with 6 additions and 0 deletions
@@ -5606,6 +5606,12 @@
    githubId = 101514;
    name = "Orivej Desh";
  };
+  oro = {
+    email = "marco@orovecchia.at";
+    github = "oro";
+    githubId = 357005;
+    name = "Marco Orovecchia";
+  };
  osener = {
    email = "ozan@ozansener.com";
    github = "osener";