Skip to content
Back to pull request #30550

[Merged by Bors] - chore: rename IrreducibleCloseds fields to match naming convention #22052

Sign in to view logs

[Merged by Bors] - chore: rename IrreducibleCloseds fields to match naming convention

[Merged by Bors] - chore: rename IrreducibleCloseds fields to match naming convention #22052

set_pr_emoji

set_pr_emoji
succeeded Oct 15, 2025 in 12s