Merge "Clean the docker images after CI build."
authorEric Ball <eball@linuxfoundation.org>
Tue, 22 Oct 2019 17:52:36 +0000 (17:52 +0000)
committerGerrit Code Review <gerrit@akraino.org>
Tue, 22 Oct 2019 17:52:36 +0000 (17:52 +0000)

Trivial merge