Hi Adrian, Thanks for your quick reply!
>> 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. Ah, I see. Don’t let this spoil your free time, I just wanted to make sure it doesn’t drop off the radar :) Have a nice holiday Sascha
