Merge pull request #7114 from BruceForstall/Fix7100
authorBruce Forstall <brucefo@microsoft.com>
Fri, 9 Sep 2016 21:58:08 +0000 (14:58 -0700)
committerGitHub <noreply@github.com>
Fri, 9 Sep 2016 21:58:08 +0000 (14:58 -0700)
Fix #7100


Trivial merge