1. 2016-05-26 Re: [gentoo-dev] [PATCH 12/17] profiles: Remove unuse gentoo-de Michael Orlitzky 2. 2016-05-26 [gentoo-dev] [PATCH 12/17] profiles: Remove unused ph gentoo-de Michał Górny