diff --git a/fe/e60e45e67240c6c98101a60bf7abc705899333 b/fe/e60e45e67240c6c98101a60bf7abc705899333 new file mode 100644 index 000000000..0e29e0d3f --- /dev/null +++ b/fe/e60e45e67240c6c98101a60bf7abc705899333 @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: Lionel Sambuc +Submitted-by: David van Moolenbroek +Submitted-at: Tue, 01 Nov 2016 13:32:25 +0100 +Reviewed-on: http://gerrit.minix3.org/3375 +Project: minix +Branch: refs/heads/master