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