1. 2019-05-24 Re: [gentoo-dev] [PATCH] savedconfig.eclass: clean up gentoo-de Mike Gilbert 2. 2019-05-24 Re: [gentoo-dev] [PATCH] savedconfig.eclass: clean up gentoo-de Ulrich Mueller 3. 2019-05-24 Re: [gentoo-dev] [PATCH] savedconfig.eclass: clean up gentoo-de Mike Gilbert 4. 2019-05-23 Re: [gentoo-dev] [PATCH] savedconfig.eclass: clean up gentoo-de David Seifert 5. 2019-05-23 [gentoo-dev] [PATCH] savedconfig.eclass: clean up ED gentoo-de Mike Gilbert