From 7d952f8f3d32841140b9f71cc262ec9abc55224e Mon Sep 17 00:00:00 2001 From: Gerrit Code Review Date: Fri, 24 Feb 2017 15:31:42 +0100 Subject: [PATCH] Update notes for submitted changes * Rename MINIX service(8) to minix-service(8) --- c5/8da9fbc35f86051ff0a75e6dd91e937d83cfff | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 c5/8da9fbc35f86051ff0a75e6dd91e937d83cfff diff --git a/c5/8da9fbc35f86051ff0a75e6dd91e937d83cfff b/c5/8da9fbc35f86051ff0a75e6dd91e937d83cfff new file mode 100644 index 000000000..1f9bec410 --- /dev/null +++ b/c5/8da9fbc35f86051ff0a75e6dd91e937d83cfff @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: Lionel Sambuc +Submitted-by: David van Moolenbroek +Submitted-at: Fri, 24 Feb 2017 15:31:42 +0100 +Reviewed-on: http://gerrit.minix3.org/3401 +Project: minix +Branch: refs/heads/master