1. 2018-10-23 Re: [gentoo-dev] [RFC] Removing barely used global fl gentoo-de Hanno =?UTF-8?B?Qs 2. 2018-10-22 Re: [gentoo-dev] [RFC] Removing barely used global fl gentoo-de James Le Cuirot 3. 2018-10-20 Re: [gentoo-dev] [RFC] Removing barely used global fl gentoo-de Kent Fredric 4. 2018-10-20 [gentoo-dev] [RFC] Removing barely used global flags gentoo-de Michał_Górny