Revision e58131a5af69cc563c6e45eb90bee8f36fec90fc

Committed on 13/08/2017 3:11 pm by Michael M. Wasser <untoldone@users.noreply.github.com> [GitHub Diff]

updates for docker support