Merge pull request #20323 from case540/statusor_fix
authorMichael Case <mikecase@google.com>
Wed, 27 Jun 2018 02:31:21 +0000 (19:31 -0700)
committerGitHub <noreply@github.com>
Wed, 27 Jun 2018 02:31:21 +0000 (19:31 -0700)
Fix XLA header issue for pip build.


Trivial merge