Skip to content

Work around unused_qualifications lint for Rust 1.80 prelude extension#931

Merged
MarijnS95 merged 1 commit intomasterfrom rust-1.80Aug 20, 2024

Commits

Commits on Aug 20, 2024