[GitHub] incubator-crail issue #40: This commit fixes few minor issues for the docker...

[PepperJo]

Github user PepperJo commented on the issue:

    https://github.com/apache/incubator-crail/pull/40
  
    Great Thx!


---