diff --git a/92/601f58cb467e2964d15a32a639bd9ef2910055 b/92/601f58cb467e2964d15a32a639bd9ef2910055 new file mode 100644 index 000000000..1ba02a453 --- /dev/null +++ b/92/601f58cb467e2964d15a32a639bd9ef2910055 @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: Lionel Sambuc +Submitted-by: David van Moolenbroek +Submitted-at: Wed, 12 Nov 2014 07:51:40 -0500 +Reviewed-on: http://gerrit.minix3.org/2878 +Project: minix +Branch: refs/heads/master