Revision 20e5a436a3cca266685bea8c55741dac3bb26516

Committed on 04/06/2017 7:20 am by AndrĂ© R <[email protected]> [GitHub Diff]

Merge pull request #179 from ezsystems/docker_fixes

Some minor Docker fixes for 1.10