diff --git a/77/85012b88d1c47b6869f355308f0e790fdf9d04 b/77/85012b88d1c47b6869f355308f0e790fdf9d04 new file mode 100644 index 000000000..9993b0b44 --- /dev/null +++ b/77/85012b88d1c47b6869f355308f0e790fdf9d04 @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: Ben Gras +Submitted-by: Lionel Sambuc +Submitted-at: Thu, 14 Aug 2014 14:10:50 -0400 +Reviewed-on: http://gerrit.minix3.org/2699 +Project: minix +Branch: refs/heads/master