diff --git a/05/78da21635325ab6c8d4908ebc4a827cd657961 b/05/78da21635325ab6c8d4908ebc4a827cd657961 new file mode 100644 index 000000000..79e7dcdba --- /dev/null +++ b/05/78da21635325ab6c8d4908ebc4a827cd657961 @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: Lionel Sambuc +Submitted-by: Lionel Sambuc +Submitted-at: Sat, 17 Nov 2018 06:59:11 +0100 +Reviewed-on: http://gerrit.minix3.org/3546 +Project: minix +Branch: refs/heads/master diff --git a/4d/b99f4012570a577414fe2a43697b2f239b699e b/4d/b99f4012570a577414fe2a43697b2f239b699e new file mode 100644 index 000000000..6bae27c31 --- /dev/null +++ b/4d/b99f4012570a577414fe2a43697b2f239b699e @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: Lionel Sambuc +Submitted-by: Lionel Sambuc +Submitted-at: Sat, 17 Nov 2018 06:59:11 +0100 +Reviewed-on: http://gerrit.minix3.org/3547 +Project: minix +Branch: refs/heads/master