Skip to content

Simplify "git status" handling with a hack#1416

Merged
Akuli merged 3 commits intomainfrom git-status-simplifyNov 1, 2023