Merge pull request #5841 from rahku/master
authorRahul Kumar <rahku@microsoft.com>
Fri, 17 Jun 2016 01:05:11 +0000 (18:05 -0700)
committerGitHub <noreply@github.com>
Fri, 17 Jun 2016 01:05:11 +0000 (18:05 -0700)
Fix arm64 build break


Trivial merge