Merge pull request #7889 from cshoredaniel/pr-gitolite-remove-extra-vars
authorHannu Nyman <redacted>
Sun, 6 Jan 2019 12:07:20 +0000 (14:07 +0200)
committerGitHub <redacted>
Sun, 6 Jan 2019 12:07:20 +0000 (14:07 +0200)
gitolite: Remove unecessary Makefile variables


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