diff --git a/17/17959aeb715ed8fa812a02054cfda1966ed9fd b/17/17959aeb715ed8fa812a02054cfda1966ed9fd new file mode 100644 index 000000000..4da4b7c8d --- /dev/null +++ b/17/17959aeb715ed8fa812a02054cfda1966ed9fd @@ -0,0 +1,7 @@ +Code-Review+2: Lionel Sambuc +Verified+1: Jenkins +Submitted-by: David van Moolenbroek +Submitted-at: Sat, 02 Jul 2016 23:20:29 +0200 +Reviewed-on: http://gerrit.minix3.org/3329 +Project: minix +Branch: refs/heads/master