On Thu, Oct 11, 2018 at 09:54:40PM +0300, Alexander Kapshuk wrote: > Here's a link to a Gentoo Bugzilla report for the issue in question: > https://bugs.gentoo.org/667362 > > With a workaround suggested. >
Thanks for the hint, the workaround did work. What a strange issue... -- Christoph
