Merge branch 'st/spaces-tabs-cleanup' into master
authorPratyush Yadav <redacted>
Tue, 22 Sep 2020 09:51:19 +0000 (15:21 +0530)
committerPratyush Yadav <redacted>
Tue, 22 Sep 2020 09:51:19 +0000 (15:21 +0530)
Clean up some whitespace.

* st/spaces-tabs-cleanup:
  git-gui: fix mixed tabs and spaces; prefer tabs


Trivial merge
git clone https://git.99rst.org/PROJECT