diff --git a/1b95bbbfe97796bc3ce61a9152082c1b32521485 b/1b95bbbfe97796bc3ce61a9152082c1b32521485
new file mode 100644
index 000000000..26b3ad352
--- /dev/null
+++ b/1b95bbbfe97796bc3ce61a9152082c1b32521485
@@ -0,0 +1,7 @@
+Verified+1: Jenkins
+Code-Review+2: Ben Gras <ben@minix3.org>
+Submitted-by: Ben Gras <ben@minix3.org>
+Submitted-at: Mon, 05 Aug 2013 23:55:20 +0200
+Reviewed-on: http://gerrit-minix.few.vu.nl/699
+Project: minix
+Branch: refs/heads/master
diff --git a/6c6123d857e45d0ed6b06cb92b8d914f0eb56730 b/6c6123d857e45d0ed6b06cb92b8d914f0eb56730
new file mode 100644
index 000000000..b71eb164f
--- /dev/null
+++ b/6c6123d857e45d0ed6b06cb92b8d914f0eb56730
@@ -0,0 +1,7 @@
+Verified+1: Jenkins
+Code-Review+2: Ben Gras <ben@minix3.org>
+Submitted-by: Ben Gras <ben@minix3.org>
+Submitted-at: Mon, 05 Aug 2013 23:53:14 +0200
+Reviewed-on: http://gerrit-minix.few.vu.nl/700
+Project: minix
+Branch: refs/heads/master