Re: [julia-users] Chars with ending double quotes

[Pablo Zubieta]

I thought so. I filed and issue here:

https://github.com/JuliaLang/julia/issues/14683