From 64d53a67f523d149c828dbd04fbfcc5e0a09f6bd Mon Sep 17 00:00:00 2001
From: Gerrit Code Review <gerrit@minix0.labs.vu.nl>
Date: Wed, 23 Sep 2015 15:58:29 +0200
Subject: [PATCH] Update notes for submitted changes

* Basic live rerandomization infrastructure
---
 e4/d99eb9b04c9e4b5eae1e3658fb71795f36d65a | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 e4/d99eb9b04c9e4b5eae1e3658fb71795f36d65a

diff --git a/e4/d99eb9b04c9e4b5eae1e3658fb71795f36d65a b/e4/d99eb9b04c9e4b5eae1e3658fb71795f36d65a
new file mode 100644
index 000000000..9d0771297
--- /dev/null
+++ b/e4/d99eb9b04c9e4b5eae1e3658fb71795f36d65a
@@ -0,0 +1,7 @@
+Verified+1: Jenkins <jenkins@minix3.org>
+Code-Review+2: Lionel Sambuc <lionel.sambuc@gmail.com>
+Submitted-by: David van Moolenbroek <dc@xise.nl>
+Submitted-at: Wed, 23 Sep 2015 15:58:29 +0200
+Reviewed-on: http://gerrit.minix3.org/3175
+Project: minix
+Branch: refs/heads/master