done. https://github.com/JuliaLang/julia/issues/8177
- [julia-users] A common idiom Stefan Schwarz
- [julia-users] Re: A common idiom Steven G. Johnson
- [julia-users] Re: A common idiom Stefan Schwarz
- [julia-users] Re: A common idiom Stefan Schwarz
- [julia-users] Re: A common idiom Simon Kornblith
- Re: [julia-users] Re: A common idiom Tim Holy
- Re: [julia-users] Re: A common idiom Stefan Karpinski
- Re: [julia-users] Re: A common idi... Stefan Schwarz
- Re: [julia-users] Re: A common... Stefan Karpinski
- Re: [julia-users] Re: A co... Stefan Schwarz
- Re: [julia-users] Re: A co... Stefan Schwarz
