Merge pull request #19574 from braincodercn/patch-1
authorMichael Case <mikecase@google.com>
Tue, 29 May 2018 16:45:09 +0000 (09:45 -0700)
committerGitHub <noreply@github.com>
Tue, 29 May 2018 16:45:09 +0000 (09:45 -0700)
Fix build error


Trivial merge