Dear John, Thank you for that bit of information!
One further query: I assume that these fixes appear in the daily builds and will be incorporated into the next "Current Release"? Thank you agian for the quick response and the help. Regards, Don On Saturday, July 26, 2014 12:10:20 PM UTC-4, John Myles White wrote: > > If you look carefully at the issue where the “merged” icon occurs, you’ll > see that a patch was merged that solved the issue. This is a new way that > GitHub has recently started visualizing events inside of an issue comment > thread. > > — John > > On Jul 26, 2014, at 9:07 AM, Donald Lacombe <[email protected] > <javascript:>> wrote: > > > Dear Julia Users, > > > > A while ago, Simon Byrne files the following issue on GitHub: > > > > https://github.com/JuliaLang/julia/issues/7543 > > > > I see that the issue is currently "closed" but I'm unsure if the > suggestion has been incorporated or is just there for posterity. > > > > Is there a way to find out what happened? If this is a "newbie" GitHub > issue my apologies in advance. If there is a tutorial that addresses this > it might be worth posting a link. > > > > Thank you in advance for any help you can provide. > > > > Regards, > > Don > >
