Skip to content

Remove useless attributes in merged doctest generated code#129192

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:rm-useless-merged-doctest-attrs
Aug 17, 2024

Commits

Commits on Aug 17, 2024