Re: Copyright for readline library