1. 2019-12-26 [gentoo-dev] Re: dev-util/jenkins-bin GLEP-81 migrati gentoo-de Hans de Graaff 2. 2019-12-25 [gentoo-dev] dev-util/jenkins-bin GLEP-81 migration gentoo-de Thomas Deutschmann