diff --git a/6a60dd0a19ca1cd1a02d56c90cb09fd7af82c9ae b/6a60dd0a19ca1cd1a02d56c90cb09fd7af82c9ae
new file mode 100644
index 000000000..faaeb19c5
--- /dev/null
+++ b/6a60dd0a19ca1cd1a02d56c90cb09fd7af82c9ae
@@ -0,0 +1,7 @@
+Verified+1: Jenkins
+Code-Review+2: David van Moolenbroek <david@minix3.org>
+Submitted-by: Thomas Cort <tcort@minix3.org>
+Submitted-at: Sun, 27 Oct 2013 00:01:23 +0200
+Reviewed-on: http://gerrit-minix.few.vu.nl/1073
+Project: minix
+Branch: refs/heads/master