From cf30fbafbf2d096038a7bd63777ddeba034c451e Mon Sep 17 00:00:00 2001 From: Gerrit Code Review Date: Sat, 12 Oct 2013 15:49:58 +0200 Subject: [PATCH] Update notes for submitted changes * Importing usr.bin/nice --- d37082b292d65d555c806b77d431b9f26a64fb32 | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 d37082b292d65d555c806b77d431b9f26a64fb32 diff --git a/d37082b292d65d555c806b77d431b9f26a64fb32 b/d37082b292d65d555c806b77d431b9f26a64fb32 new file mode 100644 index 000000000..996c3cbef --- /dev/null +++ b/d37082b292d65d555c806b77d431b9f26a64fb32 @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: Ben Gras +Submitted-by: Thomas Cort +Submitted-at: Sat, 12 Oct 2013 15:49:58 +0200 +Reviewed-on: http://gerrit-minix.few.vu.nl/1032 +Project: minix +Branch: refs/heads/master