diff --git a/56/dc79cea031c502907e05472bcc4a08f68a99f1 b/56/dc79cea031c502907e05472bcc4a08f68a99f1 new file mode 100644 index 000000000..2f5226e00 --- /dev/null +++ b/56/dc79cea031c502907e05472bcc4a08f68a99f1 @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: David van Moolenbroek +Submitted-by: Lionel Sambuc +Submitted-at: Fri, 22 Jan 2016 12:11:30 +0100 +Reviewed-on: http://gerrit.minix3.org/3262 +Project: minix +Branch: refs/heads/master