Merge "Fix TREX linting"
authorVanessa Rene Valderrama <[email protected]>
Thu, 11 Oct 2018 20:05:56 +0000 (20:05 +0000)
committerGerrit Code Review <[email protected]>
Thu, 11 Oct 2018 20:05:56 +0000 (20:05 +0000)

Trivial merge