diff --git a/17/fbdaf51438dec1991af7b09c2f54ba874d7a03 b/17/fbdaf51438dec1991af7b09c2f54ba874d7a03 new file mode 100644 index 000000000..70ac6eedb --- /dev/null +++ b/17/fbdaf51438dec1991af7b09c2f54ba874d7a03 @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: Lionel Sambuc +Submitted-by: Lionel Sambuc +Submitted-at: Sun, 26 Jul 2015 15:19:14 +0200 +Reviewed-on: http://gerrit.minix3.org/3033 +Project: minix +Branch: refs/heads/master