Skip to content

Revert "Stop git from merging generated files"#134199

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:gitmerge
Dec 12, 2024

Commits

Commits on Dec 12, 2024