Re: [julia-users] Re: Non-GPL Julia?

[Viral Shah]

And it is merged now. 

On Saturday, April 18, 2015 at 4:22:26 PM UTC+5:30, Scott Jones wrote:
>
> That's great! That solves our dilemma for us! 
>
> Scott