diff --git a/71/71c2321f658efb4ec3f937471b6b29e19d5e28 b/71/71c2321f658efb4ec3f937471b6b29e19d5e28 new file mode 100644 index 000000000..023d3bf52 --- /dev/null +++ b/71/71c2321f658efb4ec3f937471b6b29e19d5e28 @@ -0,0 +1,7 @@ +Code-Review+2: David van Moolenbroek +Verified+1: Jenkins +Submitted-by: Lionel Sambuc +Submitted-at: Wed, 11 Mar 2015 17:06:00 +0100 +Reviewed-on: http://gerrit.minix3.org/2949 +Project: minix +Branch: refs/heads/master diff --git a/b5/6a9d4725f0b3aa743904042e3d84db4e9af7ff b/b5/6a9d4725f0b3aa743904042e3d84db4e9af7ff new file mode 100644 index 000000000..d1bb4dbbe --- /dev/null +++ b/b5/6a9d4725f0b3aa743904042e3d84db4e9af7ff @@ -0,0 +1,7 @@ +Code-Review+2: David van Moolenbroek +Verified+1: Jenkins +Submitted-by: Lionel Sambuc +Submitted-at: Wed, 11 Mar 2015 17:06:16 +0100 +Reviewed-on: http://gerrit.minix3.org/2948 +Project: minix +Branch: refs/heads/master