Merge pull request #12210 from jefferyto/etesync-server-minor-cleanup
authorHannu Nyman <redacted>
Tue, 19 May 2020 14:01:14 +0000 (17:01 +0300)
committerGitHub <redacted>
Tue, 19 May 2020 14:01:14 +0000 (17:01 +0300)
etesync-server: Minor Makefile cleanup


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