Verified+1: Jenkins
Code-Review+2: Ben Gras <ben.gras.nl@gmail.com>
Submitted-by: David van Moolenbroek <dcvmoole@gmail.com>
Submitted-at: Tue, 18 Nov 2014 10:48:05 -0500
Reviewed-on: http://gerrit.minix3.org/2896
Project: minix
Branch: refs/heads/master