Merge pull request #8814 from val-kulkov/subversion-package
authorRosen Penev <rosenp@gmail.com>
Tue, 30 Apr 2019 14:54:54 +0000 (07:54 -0700)
committerGitHub <noreply@github.com>
Tue, 30 Apr 2019 14:54:54 +0000 (07:54 -0700)
subversion: update to the latest stable release


Trivial merge