Jeff Waller Sun, 08 Jun 2014 13:15:07 -0700
Ok! pull request created... (I think).
https://github.com/JuliaLang/julia/pull/7175