diff --git a/92/dfb2dc8e10130f50447d3e477eda0267cc19ec b/92/dfb2dc8e10130f50447d3e477eda0267cc19ec new file mode 100644 index 000000000..3aeec0be4 --- /dev/null +++ b/92/dfb2dc8e10130f50447d3e477eda0267cc19ec @@ -0,0 +1,7 @@ +Code-Review+2: David van Moolenbroek +Verified+1: Jenkins +Submitted-by: Lionel Sambuc +Submitted-at: Thu, 15 Sep 2016 19:55:26 +0200 +Reviewed-on: http://gerrit.minix3.org/3361 +Project: minix +Branch: refs/heads/master