Code Review / ci-management.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | review | tree
raw | combined (merge: 94fade0 77d9a20)
Merge "Fix installation bug on Ubuntu 18.04"
authorEric Ball <eball@linuxfoundation.org>
Tue, 17 Mar 2020 16:29:48 +0000 (16:29 +0000)
committerGerrit Code Review <gerrit@akraino.org>
Tue, 17 Mar 2020 16:29:48 +0000 (16:29 +0000)

Trivial merge
CI infrastructure management and control repo