>>>>> On Tue, 13 Aug 2019, Michael Orlitzky wrote: > The devmanual is probably wrong,
> https://bugs.gentoo.org/485356 > but no one agrees on how exactly to change it. Thanks for reminding us of that bug. :) Read my comments #13 and #16. Ulrich
signature.asc
Description: PGP signature
