Merge "Provide clarity as to when merge job fails are build or push"
authorC.J. Collier <[email protected]>
Mon, 16 May 2016 20:00:10 +0000 (20:00 +0000)
committerGerrit Code Review <[email protected]>
Mon, 16 May 2016 20:00:10 +0000 (20:00 +0000)

Trivial merge