diff --git a/55/a5a21b974e0dac09ead45939e6aea133ad62c2 b/55/a5a21b974e0dac09ead45939e6aea133ad62c2 new file mode 100644 index 000000000..15933f01f --- /dev/null +++ b/55/a5a21b974e0dac09ead45939e6aea133ad62c2 @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: Lionel Sambuc +Submitted-by: David van Moolenbroek +Submitted-at: Thu, 21 Jul 2016 13:42:30 +0200 +Reviewed-on: http://gerrit.minix3.org/3337 +Project: minix +Branch: refs/heads/master