Skip to content

remove outdated comment#131965

Merged
bors merged 1 commit into
rust-lang:masterfrom
ChrisDenton:outdated-comment
Oct 20, 2024
Merged

remove outdated comment#131965
bors merged 1 commit into
rust-lang:masterfrom
ChrisDenton:outdated-comment

Remove outdated comment

ef5a56f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs