diff --git a/c8f3b10909c82594396a5e25031538a15090fab0 b/c8f3b10909c82594396a5e25031538a15090fab0
new file mode 100644
index 000000000..c65e39e62
--- /dev/null
+++ b/c8f3b10909c82594396a5e25031538a15090fab0
@@ -0,0 +1,7 @@
+Verified+1: Jenkins
+Code-Review+2: Ben Gras <ben@minix3.org>
+Submitted-by: Ben Gras <ben@minix3.org>
+Submitted-at: Wed, 28 Aug 2013 09:42:35 +0200
+Reviewed-on: http://gerrit-minix.few.vu.nl/793
+Project: minix
+Branch: refs/heads/master