Skip to content

Correctly encode doc attribute metadata#149919

Merged
bors merged 1 commit intorust-lang:mainfrom
GuillaumeGomez:doc-metadata-encoding
Dec 17, 2025
Merged

Correctly encode doc attribute metadata#149919
bors merged 1 commit intorust-lang:mainfrom
GuillaumeGomez:doc-metadata-encoding

Commits

Commits on Dec 15, 2025