1. 2016-05-26 Re: [gentoo-dev] [PATCH 07/17] profiles: Remove unuse gentoo-de Chí-Thanh_Christo 2. 2016-05-26 [gentoo-dev] [PATCH 07/17] profiles: Remove unused IN gentoo-de Michał Górny