diff --git a/54/841c01020c7c37459374422914e55290ba5e51 b/54/841c01020c7c37459374422914e55290ba5e51 new file mode 100644 index 000000000..c36823233 --- /dev/null +++ b/54/841c01020c7c37459374422914e55290ba5e51 @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: Lionel Sambuc +Submitted-by: Lionel Sambuc +Submitted-at: Wed, 18 Mar 2015 10:36:22 +0100 +Reviewed-on: http://gerrit.minix3.org/2957 +Project: minix +Branch: refs/heads/master