1. 2018-07-24 Re: [gentoo-dev] [arm17] [PATCH] crossdev: Make armv[ gentoo-de Sergei Trofimovich 2. 2018-07-24 [gentoo-dev] [arm17] [PATCH] crossdev: Make armv[67] gentoo-de James Le Cuirot