Merge branch 'st/spaces-tabs-cleanup' into master

Clean up some whitespace. * st/spaces-tabs-cleanup: git-gui: fix mixed tabs and spaces; prefer tabs

Pratyush Yadav committed Sep 22, 2020 at 15:21 UTC 95bfc6cdb697b971ffd7766f353d9bcf7bad9f6f

No changes.