diff --git a/95/7802cd0cf83421da2a4a3998e8a7f4f54e6028 b/95/7802cd0cf83421da2a4a3998e8a7f4f54e6028 new file mode 100644 index 000000000..7f21e6329 --- /dev/null +++ b/95/7802cd0cf83421da2a4a3998e8a7f4f54e6028 @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: David van Moolenbroek +Submitted-by: David van Moolenbroek +Submitted-at: Wed, 12 Nov 2014 07:32:10 -0500 +Reviewed-on: http://gerrit.minix3.org/2879 +Project: minix +Branch: refs/heads/master diff --git a/f5/3651de0112c46184d7346041fb8e1c8e02bba9 b/f5/3651de0112c46184d7346041fb8e1c8e02bba9 new file mode 100644 index 000000000..242a1022b --- /dev/null +++ b/f5/3651de0112c46184d7346041fb8e1c8e02bba9 @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: Ben Gras +Submitted-by: Ben Gras +Submitted-at: Wed, 12 Nov 2014 05:36:17 -0500 +Reviewed-on: http://gerrit.minix3.org/2880 +Project: minix +Branch: refs/heads/master