To be fair, he was told, in that issue, that julia-users was a more appropriate place to ask this type of question.
On Friday, July 22, 2016, Steven G. Johnson <[email protected]> wrote: > > > On Thursday, July 21, 2016 at 6:09:12 PM UTC-4, William Wong wrote: >> >> I'm trying to continue the discussion of >> https://github.com/JuliaLang/julia/issues/15479 >> > > The github issue is the appropriate place for discussion; it's not helpful > to split the discussion into two separate forums. > > (If you want to see progress on an issue, the most effective way is to > submit a pull request attempting to fix the issue.) >
