If this is something you think you'd use, it would be good to bump that issue, so that it gets some attention.
On Monday, April 27, 2015, Nils Gudat <nils.gu...@gmail.com> wrote: > Your suggestion brought me to issue #10109 > <https://github.com/JuliaLang/julia/issues/10109>, which seems to be > exactly the problem I've described above. I'll wait and see. Thanks! >
