On Mittwoch, 3. Oktober 2018 04:22:14 CEST Mike Gilbert wrote:
> Or maybe start with a github pull request and we can work out the
> kinks there. Whichever you prefer.

PR exists already: https://github.com/gentoo/gentoo/pull/9059



Reply via email to