Update notes for submitted changes
* header cleanup
This commit is contained in:
parent
74dd43b5bf
commit
7b54888615
7
96/24407e7addfd8b88486acfe3a0e056e2b92ee3
Normal file
7
96/24407e7addfd8b88486acfe3a0e056e2b92ee3
Normal file
@ -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: Sun, 07 May 2017 18:06:03 +0200
|
||||||
|
Reviewed-on: http://gerrit.minix3.org/3498
|
||||||
|
Project: minix
|
||||||
|
Branch: refs/heads/master
|
Loading…
x
Reference in New Issue
Block a user