I think the issue is fine as it is. If you think the issue is important, you can comment on the issue, and maybe link to this discussion, but I do not think that is required.
kl. 20:24:15 UTC+1 mandag 17. februar 2014 skrev Ismael VC følgende: > > El lunes, 17 de febrero de 2014 12:57:51 UTC-6, Daniel Jones escribió: >> >> I made one a while back: https://github.com/JuliaLang/julia/issues/2682 >> > > Ok, so in cases like this, should one leave the bug report as is?, or > should one update it? > > Thanks! > > >
