Files in build/docker/ of d7fb4b713a1a71ed

Files in directory build/docker of check-in d7fb4b713a1a71ed