Update notes for submitted changes

* Some more NDEBUG fixes
This commit is contained in:
Gerrit Code Review 2014-09-02 15:51:08 -04:00
parent b2b97a3be1
commit d49083f001

View File

@ -0,0 +1,7 @@
Verified+1: Jenkins
Code-Review+2: David van Moolenbroek <dcvmoole@gmail.com>
Submitted-by: Lionel Sambuc <lionel.sambuc@gmail.com>
Submitted-at: Tue, 02 Sep 2014 15:51:03 -0400
Reviewed-on: http://gerrit.minix3.org/2806
Project: minix
Branch: refs/heads/master