Use `id` attribute on `<a>` elements instead of deprecated `name` attribute#2184

Merged

jieyouxu merged 1 commit intorust-lang:masterfrom

max-heller:deprecated-attribute

Dec 31, 2024

Commits on Dec 31, 2024

Use `id` attribute for `<a>` tags instead of deprecated `name` attribute
max-heller
committed