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
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