Skip to content

Move metadata header and version checks together#122187

Merged
bors merged 1 commit intorust-lang:masterfrom
bjorn3:merge_header_version_checks
Mar 9, 2024
Merged

Move metadata header and version checks together#122187
bors merged 1 commit intorust-lang:masterfrom
bjorn3:merge_header_version_checks

Commits

Commits on Mar 8, 2024