1. 2016-11-30 Re: [gentoo-dev] [PATCH] linux-info.eclass: get_versi gentoo-de Michael Orlitzky 2. 2016-11-30 Re: [gentoo-dev] [PATCH] linux-info.eclass: get_versi gentoo-de Mike Gilbert 3. 2016-11-30 Re: [gentoo-dev] [PATCH] linux-info.eclass: get_versi gentoo-de Michael Orlitzky 4. 2016-11-26 [gentoo-dev] [PATCH] linux-info.eclass: get_version: gentoo-de Mike Gilbert