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)
commit65556875ba1c7cb07360bbbee0008556fd51572a
tree09a6646c827b6266a54217de7afa0c8990701d3b
parent3a9ee939d1043f8347ce94a49bb38d517e3bb52d
parent953b945d2d5dac2821e76a59b5ffb5e8fe89d2ad
Merge pull request #7743 from sandreenko/frozen_strings

fix value numbering for frozen strings.