Hi Sascha! > On Dec 16, 2019, at 5:39 PM, Sascha Steinbiss <sa...@debian.org> wrote: > > I am still stuck with this issue. Is there anyone who might provide some > assistance in approaching this problem? AFAICS this is not something > that I could address by simply modifying the package maintained by me > which simply uses rustc.
I’m now on vacation since this Monday, so I have some more time for Debian. I have piled up quite some work, but I promise, I will have a closer look at this issue during the holidays. Adrian
