mkspiffs: init at 0.2.3 (#46674)

2018-10-01 14:49:02 +00:00
parent ae2bb82a8d
commit 62bf19d2fc
4 changed files with 61 additions and 0 deletions
@@ -1640,6 +1640,11 @@
    github = "hamhut1066";
    name = "Hamish Hutchings";
  };
+  haslersn = {
+    email = "haslersn@fius.informatik.uni-stuttgart.de";
+    github = "haslersn";
+    name = "Sebastian Hasler";
+  };
  havvy = {
    email = "ryan.havvy@gmail.com";
    github = "havvy";