Hi Adrian, On 12.11.22 11:17, John Paul Adrian Glaubitz wrote:
Don't know what to make out of this. Is this a problem in the kernel sources or a problem for the Debian kernel team?[2]: https://buildd.debian.org/status/logs.php?pkg=linux&arch=alphaNo idea, really. We need to ask someone from the Debian kernel team, they probably know how to fix this.
How can we contact them and who for Alpha specifically? Cheers, Frank
