Closed mkroening closed 9 months ago
This fixes https://github.com/hermit-os/kernel/pull/1071#issuecomment-1961598278.
This was caused by https://github.com/rust-lang/rust/pull/116672, though it is our fault for relying on this (there was no warning).
This fixes https://github.com/hermit-os/kernel/pull/1071#issuecomment-1961598278.