Merge pull request #7743 from sandreenko/frozen_strings
authorsandreenko <seandree@microsoft.com>
Fri, 21 Oct 2016 21:09:30 +0000 (14:09 -0700)
committerGitHub <noreply@github.com>
Fri, 21 Oct 2016 21:09:30 +0000 (14:09 -0700)
fix value numbering for frozen strings.


Trivial merge