Merge pull request #11147 from micmac1/svn2
authorRosen Penev <redacted>
Tue, 28 Jan 2020 09:51:11 +0000 (01:51 -0800)
committerGitHub <redacted>
Tue, 28 Jan 2020 09:51:11 +0000 (01:51 -0800)
subversion: fix build failure


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