Merge pull request #12210 from jefferyto/etesync-server-minor-cleanup
authorHannu Nyman <hannu.nyman@iki.fi>
Tue, 19 May 2020 14:01:14 +0000 (17:01 +0300)
committerGitHub <noreply@github.com>
Tue, 19 May 2020 14:01:14 +0000 (17:01 +0300)
etesync-server: Minor Makefile cleanup


Trivial merge