Merge pull request dotnet/coreclr#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

Commit migrated from https://github.com/dotnet/coreclr/commit/160e8572a2847d02d09cdd7dfc7516880b7f2ee8


Trivial merge