Merge pull request #13821 from pgavlin/DevDiv487701_487702
authorPat Gavlin <pgavlin@gmail.com>
Thu, 7 Sep 2017 19:30:51 +0000 (12:30 -0700)
committerGitHub <noreply@github.com>
Thu, 7 Sep 2017 19:30:51 +0000 (12:30 -0700)
commitf3dfbf546396db24f5fbc690213e89beaebd5f35
tree56ce793e8637c21ca15c3b226b9f6bfa84b683e5
parenteb2e9f90ba3679fa8386c4130f81c8061e8d4ca4
parenta6a61438b3451151b79c6d0a1188218d4fe121bb
Merge pull request #13821 from pgavlin/DevDiv487701_487702

Fix VSO 487701 and 487702.