Since this fix was incorporated before we tagged 0.3.0-rc1, any 0.3.0-rc1 build or later should include it. -E
On Sat, Jul 26, 2014 at 12:32 PM, John Myles White <[email protected] > wrote: > Yes, all of the fixes will occur in the releases that are compiled after > the fix takes place. > > — John > > On Jul 26, 2014, at 9:30 AM, Donald Lacombe <[email protected]> wrote: > > 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]> 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 >> >> >
