Merge pull request #13647 from jefferyto/seafile-server-7.1.5
authorRosen Penev <redacted>
Tue, 13 Oct 2020 22:36:55 +0000 (15:36 -0700)
committerGitHub <redacted>
Tue, 13 Oct 2020 22:36:55 +0000 (15:36 -0700)
seafile-server: Update to 7.1.5


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