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

[Jay Kickliter]

Thanks Viral

On Sunday, April 19, 2015 at 10:05:23 AM UTC-6, Viral Shah wrote:
>
> 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
>
>