Skip to content

Remove outdated comment#149396

Merged
bors merged 1 commit into
rust-lang:mainfrom
yotamofek:pr/library/outdated-comment
Nov 29, 2025
Merged

Remove outdated comment#149396
bors merged 1 commit into
rust-lang:mainfrom
yotamofek:pr/library/outdated-comment

Remove outdated comment

f15e99b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view