diff --git a/11/7b6ea00345c1559dda32fe246e18bcddea9322 b/11/7b6ea00345c1559dda32fe246e18bcddea9322 new file mode 100644 index 000000000..05424adc2 --- /dev/null +++ b/11/7b6ea00345c1559dda32fe246e18bcddea9322 @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: David van Moolenbroek +Submitted-by: Lionel Sambuc +Submitted-at: Wed, 30 Nov 2016 19:31:31 +0100 +Reviewed-on: http://gerrit.minix3.org/3378 +Project: minix +Branch: refs/heads/master diff --git a/3f/862305f83a4a0421b5952d0686bebd9aeee0bc b/3f/862305f83a4a0421b5952d0686bebd9aeee0bc new file mode 100644 index 000000000..534cb10e0 --- /dev/null +++ b/3f/862305f83a4a0421b5952d0686bebd9aeee0bc @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: David van Moolenbroek +Submitted-by: Lionel Sambuc +Submitted-at: Wed, 30 Nov 2016 19:31:04 +0100 +Reviewed-on: http://gerrit.minix3.org/3379 +Project: minix +Branch: refs/heads/master