Merge pull request #9667 from ja-pa/subversion-cpe-id
authorRosen Penev <rosenp@gmail.com>
Wed, 14 Aug 2019 16:26:02 +0000 (09:26 -0700)
committerGitHub <noreply@github.com>
Wed, 14 Aug 2019 16:26:02 +0000 (09:26 -0700)
subversion: polish Makefile


Trivial merge