diff --git a/26f14d6b5df2ddb37311bda69ae4bb8d42051657 b/26f14d6b5df2ddb37311bda69ae4bb8d42051657
new file mode 100644
index 000000000..f22cd3253
--- /dev/null
+++ b/26f14d6b5df2ddb37311bda69ae4bb8d42051657
@@ -0,0 +1,7 @@
+Verified+1: Jenkins
+Code-Review+2: Ben Gras <ben@minix3.org>
+Submitted-by: Ben Gras <ben@minix3.org>
+Submitted-at: Sun, 11 Aug 2013 23:54:03 +0200
+Reviewed-on: http://gerrit-minix.few.vu.nl/734
+Project: minix
+Branch: refs/heads/master
diff --git a/bdf33c702aa8bcb68ec6500058b7c9ee0fcddfe9 b/bdf33c702aa8bcb68ec6500058b7c9ee0fcddfe9
new file mode 100644
index 000000000..a033a2111
--- /dev/null
+++ b/bdf33c702aa8bcb68ec6500058b7c9ee0fcddfe9
@@ -0,0 +1,7 @@
+Verified+1: Jenkins
+Code-Review+2: Ben Gras <ben@minix3.org>
+Submitted-by: Ben Gras <ben@minix3.org>
+Submitted-at: Sun, 11 Aug 2013 23:54:49 +0200
+Reviewed-on: http://gerrit-minix.few.vu.nl/733
+Project: minix
+Branch: refs/heads/master