From 610d4a9f7e8327fa41ea663567a318a374a435be Mon Sep 17 00:00:00 2001 From: Gerrit Code Review Date: Wed, 23 Sep 2015 15:52:03 +0200 Subject: [PATCH] Update notes for submitted changes * sef: GCOV cleanup. --- dd/096140423518a0a1c551c57dd83cb9c4d7ae6d | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 dd/096140423518a0a1c551c57dd83cb9c4d7ae6d diff --git a/dd/096140423518a0a1c551c57dd83cb9c4d7ae6d b/dd/096140423518a0a1c551c57dd83cb9c4d7ae6d new file mode 100644 index 000000000..dbf89c5c9 --- /dev/null +++ b/dd/096140423518a0a1c551c57dd83cb9c4d7ae6d @@ -0,0 +1,7 @@ +Verified+1: Jenkins +Code-Review+2: Lionel Sambuc +Submitted-by: David van Moolenbroek +Submitted-at: Wed, 23 Sep 2015 15:52:03 +0200 +Reviewed-on: http://gerrit.minix3.org/3093 +Project: minix +Branch: refs/heads/master