Skip to content

Re-add diff buttons at task completion #4128

Merged
kevinvandijk merged 2 commits intomainfrom
kevinvandijk/fix-diff-button
Dec 2, 2025
Merged

Re-add diff buttons at task completion #4128
kevinvandijk merged 2 commits intomainfrom
kevinvandijk/fix-diff-button

Commits

Commits on Dec 1, 2025