Verified+1: Jenkins
Code-Review+2: Cristiano Giuffrida <pentarious@gmail.com>
Submitted-by: Cristiano Giuffrida <pentarious@gmail.com>
Submitted-at: Thu, 11 Dec 2014 05:34:52 -0500
Reviewed-on: http://gerrit.minix3.org/2928
Project: minix
Branch: refs/heads/master
