Merge pull request #7588 from thess/cci-mods
authorTed Hess <thess@kitschensync.net>
Thu, 6 Dec 2018 22:17:38 +0000 (17:17 -0500)
committerGitHub <noreply@github.com>
Thu, 6 Dec 2018 22:17:38 +0000 (17:17 -0500)
CircleCI: Do not run build as root. Move to public docker repo.


Trivial merge