Forward port #1381 to master#1385
Merged
silvin-lubecki merged 6 commits intodocker:masterfrom Sep 26, 2018
Merged
Commits
Commits on Sep 21, 2018
- authored andcommitted

- committed
Daniel Hiltgen - committed
Daniel Hiltgen - committed
Daniel Hiltgen - committed
Daniel Hiltgen - committed
Daniel Hiltgen