Skip to content

Close outdated multidiff editors when PR is reopened#8256

Draft
Copilot wants to merge 9 commits intomainfrom
copilot/close-outdated-multidiff-editors
Draft

Close outdated multidiff editors when PR is reopened#8256
Copilot wants to merge 9 commits intomainfrom
copilot/close-outdated-multidiff-editors

Commits

Commits on Dec 10, 2025

Commits on Dec 18, 2025