diff --git a/6d7eff80230fb4b187175de975f60c82f04cb13f b/6d7eff80230fb4b187175de975f60c82f04cb13f
new file mode 100644
index 000000000..5fad5f4fa
--- /dev/null
+++ b/6d7eff80230fb4b187175de975f60c82f04cb13f
@@ -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:51:41 +0200
+Reviewed-on: http://gerrit-minix.few.vu.nl/698
+Project: minix
+Branch: refs/heads/master
diff --git a/a9f194e58f7538ce83d10212c57e9bfa7c4bdc64 b/a9f194e58f7538ce83d10212c57e9bfa7c4bdc64
new file mode 100644
index 000000000..205542de2
--- /dev/null
+++ b/a9f194e58f7538ce83d10212c57e9bfa7c4bdc64
@@ -0,0 +1,7 @@
+Verified+1: Jenkins
+Code-Review+2: David van Moolenbroek <david@minix3.org>
+Submitted-by: Ben Gras <ben@minix3.org>
+Submitted-at: Mon, 05 Aug 2013 23:54:11 +0200
+Reviewed-on: http://gerrit-minix.few.vu.nl/696
+Project: minix
+Branch: refs/heads/master
diff --git a/d9b62047f11992d8ff3e5da25f6837e68032023b b/d9b62047f11992d8ff3e5da25f6837e68032023b
new file mode 100644
index 000000000..f3a226d16
--- /dev/null
+++ b/d9b62047f11992d8ff3e5da25f6837e68032023b
@@ -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:49:00 +0200
+Reviewed-on: http://gerrit-minix.few.vu.nl/697
+Project: minix
+Branch: refs/heads/master