On Tuesday, August 11, 2015 at 2:32:01 AM UTC+2, Yichao Yu wrote: > > On Mon, Aug 10, 2015 at 7:52 PM, Sisyphuss <[email protected] > <javascript:>> wrote: > > > > > > I saw this in recent commits. > > > > What's the purpose of it? > > https://github.com/JuliaLang/julia/pull/12440 > > Leave a comment at the commit or at least include a link to it when > you post it elsewhere (like this list) would be better. >
It was truly a question. I didn't know I can click on the "#12440" to see the answer. Anyway, thanks for the answer.
