maintainers: add olebedev

2021-05-18 10:06:53 +10:00
parent 210784b7c8
commit aa80302844
1 changed files with 6 additions and 0 deletions
@@ -7421,6 +7421,12 @@
    githubId = 20923;
    name = "Erik Timan";
  };
+  olebedev = {
+    email = "ole6edev@gmail.com";
+    github = "olebedev";
+    githubId = 848535;
+    name = "Oleg Lebedev";
+  };
  olejorgenb = {
    email = "olejorgenb@yahoo.no";
    github = "olejorgenb";