diff --git a/16/b6870659aa088aa97905a4c9980f6a654a36a6 b/16/b6870659aa088aa97905a4c9980f6a654a36a6 new file mode 100644 index 000000000..3d2d28d24 --- /dev/null +++ b/16/b6870659aa088aa97905a4c9980f6a654a36a6 @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: Lionel Sambuc +Submitted-by: David van Moolenbroek +Submitted-at: Tue, 09 Sep 2014 14:30:21 -0400 +Reviewed-on: http://gerrit.minix3.org/2821 +Project: minix +Branch: refs/heads/master