Skip to content

Update outdated link in bound region comments#145712

Merged
bors merged 1 commit intorust-lang:masterfrom
notJoon:fix/outdate-link
Aug 22, 2025
Merged

Update outdated link in bound region comments#145712
bors merged 1 commit intorust-lang:masterfrom
notJoon:fix/outdate-link

Commits

Commits on Aug 21, 2025