Merge pull request #74515 from waiting-for-dev/boxes

boxes: init at 1.3
2019-11-30 11:46:58 -05:00
parent e2cdcdc2d9 b9b0493c55
commit 65290f9a19
3 changed files with 55 additions and 0 deletions
@@ -7664,4 +7664,10 @@
    githubId = 50867187;
    name = "Rakesh Gupta";
  };
+  waiting-for-dev = {
+    email = "marc@lamarciana.com";
+    github = "waiting-for-dev";
+    githubId = 52650;
+    name = "Marc Busqué";
+  };
 }