Skip to content

Remove unneeded fields in scrape_examples::FindCalls#132698

Merged
bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:rm-unneeded-fieldsNov 6, 2024

Commits

Commits on Nov 6, 2024