Merge pull request #55488 from winpat/add_dirvish

dirvish: init at 1.2.1
2019-02-24 12:02:11 +01:00
parent ed239c3947 c03098d087
commit 631bc2c99f
5 changed files with 87 additions and 0 deletions
@@ -5020,6 +5020,11 @@
    email = "windenntw@gmail.com";
    name = "Antonio Vargas Gonzalez";
  };
+  winpat = {
+    email = "patrickwinter@posteo.ch";
+    github = "winpat";
+    name = "Patrick Winter";
+  };
  wizeman = {
    email = "rcorreia@wizy.org";
    github = "wizeman";