1. 2013-02-22 Re: [gentoo-dev] [PATCH eutils] prune_libtool_files: gentoo-de Michał Górny 2. 2013-02-22 Re: [gentoo-dev] [PATCH eutils] prune_libtool_files: gentoo-de Michał Górny 3. 2013-02-22 Re: [gentoo-dev] [PATCH eutils] prune_libtool_files: gentoo-de Thomas Sachau 4. 2013-02-22 [gentoo-dev] [PATCH eutils] prune_libtool_files: make gentoo-de Michał Górny