On Mon, 6 May 2024 01:28:47 +0300 Jussi Pakkanen <jpakk...@gmail.com> wrote: > Filed: > > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1070470 >
Thanks! Do you think it's worth it it to file the bug to rust upstream too: https://github.com/rust-lang/rust/issues May be wider Rust developers can have an insight. Or it's something very Debian specific? Shmerl.