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


Trivial merge
git clone https://git.99rst.org/PROJECT