From: Eric Ball Date: Tue, 17 Mar 2020 16:29:48 +0000 (+0000) Subject: Merge "Fix installation bug on Ubuntu 18.04" X-Git-Url: https://gerrit.akraino.org/r/gitweb?a=commitdiff_plain;h=7b25bf09560b931ed6db3337d84751236c3bc8af;p=ci-management.git Merge "Fix installation bug on Ubuntu 18.04" --- 7b25bf09560b931ed6db3337d84751236c3bc8af