Merge "Remove Ubuntu 14.04 jobs"
authorThanh Ha <[email protected]>
Fri, 27 Oct 2017 18:47:12 +0000 (18:47 +0000)
committerGerrit Code Review <[email protected]>
Fri, 27 Oct 2017 18:47:12 +0000 (18:47 +0000)

Trivial merge