Merge pull request #919 from michaeltlombardi/maint/master/update-docker-image-names
authorcarabasdaniel <daniel.carabas@puppet.com>
Tue, 10 Mar 2020 09:07:36 +0000 (11:07 +0200)
committerGitHub <noreply@github.com>
Tue, 10 Mar 2020 09:07:36 +0000 (11:07 +0200)
(MAINT) Update docker image names


Trivial merge