JuliaLang/julia — pull request #4946 by stevengj (2013-11-26 20:50:08+00:00)
Title: rename CharString -> UTF32String (fix #4943)

As explained in #4943, this deprecates `CharString` in favor of `UTF32String`.