diff --git a/d2/6b52b7cfc4f2c73cf7d42ddada702c1c6c51a2 b/d2/6b52b7cfc4f2c73cf7d42ddada702c1c6c51a2 new file mode 100644 index 000000000..27d705582 --- /dev/null +++ b/d2/6b52b7cfc4f2c73cf7d42ddada702c1c6c51a2 @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: David van Moolenbroek +Submitted-by: David van Moolenbroek +Submitted-at: Sun, 24 Aug 2014 17:49:00 -0400 +Reviewed-on: http://gerrit.minix3.org/2736 +Project: minix +Branch: refs/heads/master