docker/docker — pull request #9581 by vbatts (2014-12-09 17:08:02+00:00)
Title: contrib: fix the docker-device-tool

Fixes: #9138

Signed-off-by: Vincent Batts