Merge pull request #13987 from davidwrighton/update_from_master
authorDavid Wrighton <davidwr@microsoft.com>
Thu, 14 Sep 2017 21:39:25 +0000 (14:39 -0700)
committerGitHub <noreply@github.com>
Thu, 14 Sep 2017 21:39:25 +0000 (14:39 -0700)
commita6c824e36515b36f655b3f931cd06869c67c6aad
tree93e82f9e9c8169dc86a666430a0d4f873143d01e
parent96fa98525e0d64459148228cde5211c475b0c25c
parent05bf4a8c54ad963c29efab427e1e7eb91c36f440
Merge pull request #13987 from davidwrighton/update_from_master

Update to latest changes from master branch