Skip to content

Remove unnecessary path attribute#113009

Merged
bors merged 1 commit intorust-lang:masterfrom
ChrisDenton:remove-path
Jun 25, 2023
Merged

Remove unnecessary `path` attribute#113009
bors merged 1 commit intorust-lang:masterfrom
ChrisDenton:remove-path

Commits

Commits on Jun 24, 2023