Skip to content

Revert PR #114052 to fix invalid suggestion#114931

Merged
bors merged 1 commit intorust-lang:masterfrom
Urgau:revert-114052
Aug 18, 2023
Merged

Revert PR #114052 to fix invalid suggestion#114931
bors merged 1 commit intorust-lang:masterfrom
Urgau:revert-114052

Commits

Commits on Aug 17, 2023