Update notes for submitted changes

* Various timer improvements
This commit is contained in:
Gerrit Code Review 2016-08-06 22:13:37 +02:00
parent 251c1144e8
commit e5e383db78

View 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: Sat, 06 Aug 2016 22:13:36 +0200
Reviewed-on: http://gerrit.minix3.org/3340
Project: minix
Branch: refs/heads/master