1. 2011-11-29 Re: [gentoo-dev] readline: punt from profiles gentoo-de Mike Frysinger 2. 2011-11-20 Re: [gentoo-dev] Re: readline: punt from profiles gentoo-de Michał Górny 3. 2011-11-20 [gentoo-dev] Re: readline: punt from profiles gentoo-de Duncan 4. 2011-11-20 [gentoo-dev] readline: punt from profiles gentoo-de Mike Frysinger