Merge pull request #4265 from TDT-AG/pr/20200713-luci-app-dockerman
authorFlorian Eckert <[email protected]>
Wed, 15 Jul 2020 13:41:37 +0000 (15:41 +0200)
committerGitHub <[email protected]>
Wed, 15 Jul 2020 13:41:37 +0000 (15:41 +0200)
luci-app-dockerman: improvements


Trivial merge