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)
commitbebdfe79ef09dee2935547537b2d1d1357ff0d43
treebb328b23ebe8d7725d66d1f965fd39827b07b923
parenta48d15386216b9f5ba730b671b61087729a386f2
parentb8c1732664f41d5af2587e2f093880a3a7d83f43
Merge pull request #20323 from case540/statusor_fix

Fix XLA header issue for pip build.