Merge pull request #6938 from CarolEidt/Fix255263
authorCarol Eidt <carol.eidt@microsoft.com>
Fri, 26 Aug 2016 22:48:49 +0000 (15:48 -0700)
committerGitHub <noreply@github.com>
Fri, 26 Aug 2016 22:48:49 +0000 (15:48 -0700)
Fix DevDiv bug 255263


Trivial merge