Merge branch 'rj/clean-speedup'
authorPratyush Yadav <redacted>
Thu, 17 Dec 2020 19:12:14 +0000 (00:42 +0530)
committerPratyush Yadav <redacted>
Thu, 17 Dec 2020 19:12:14 +0000 (00:42 +0530)
Speed up 'make clean' on Cygwin.

* rj/clean-speedup:
  Makefile: conditionally include GIT-VERSION-FILE


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