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
