maintainers: add ivan

2018-12-13 11:12:54 +00:00
parent 2232135cf9
commit da28c89797
1 changed files with 4 additions and 0 deletions
@@ -1894,6 +1894,10 @@
    github = "ironpinguin";
    name = "Michele Catalano";
  };
+  ivan = {
+    email = "ivan@ludios.org";
+    name = "Ivan Kozik";
+  };
  ivan-tkatchev = {
    email = "tkatchev@gmail.com";
    name = "Ivan Tkatchev";