[julia-users] Re: Profile.print() dies

[G. Patrick Mauroy]

Thanks Daniel.  I will then next run it on Linux...

On Wednesday, September 17, 2014 1:09:03 AM UTC-4, Daniel Høegh wrote:
>
> This is a known issue on windows it is fixed on the master and is coming 
> as in 0.3.1. See issue https://github.com/JuliaLang/julia/issues/8350