From 9336d09c8f9dcb623875aa5b02b289532030e236 Mon Sep 17 00:00:00 2001 From: Gerrit Code Review Date: Sat, 30 Aug 2014 04:43:35 -0400 Subject: [PATCH] Update notes for submitted changes * merge libminlib with libc --- ba/d58c9c5145c5fa2a65ce5ca37ceebbbd315e2d | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 ba/d58c9c5145c5fa2a65ce5ca37ceebbbd315e2d diff --git a/ba/d58c9c5145c5fa2a65ce5ca37ceebbbd315e2d b/ba/d58c9c5145c5fa2a65ce5ca37ceebbbd315e2d new file mode 100644 index 000000000..9bc0c353e --- /dev/null +++ b/ba/d58c9c5145c5fa2a65ce5ca37ceebbbd315e2d @@ -0,0 +1,8 @@ +Verified+1: Jenkins +Code-Review+1: Lionel Sambuc +Code-Review+2: Ben Gras +Submitted-by: Ben Gras +Submitted-at: Sat, 30 Aug 2014 04:43:35 -0400 +Reviewed-on: http://gerrit.minix3.org/2790 +Project: minix +Branch: refs/heads/master