Skip to content

Show a compact diff stats footer#292

Open
jongio wants to merge 1 commit into
mainfrom
idea/diff-stats-footer
Open

Show a compact diff stats footer#292
jongio wants to merge 1 commit into
mainfrom
idea/diff-stats-footer

Commits

Commits on Jul 8, 2026