Merge pull request #11807 from jefferyto/seafile-7.1.3
authorHannu Nyman <redacted>
Wed, 8 Apr 2020 10:21:50 +0000 (13:21 +0300)
committerGitHub <redacted>
Wed, 8 Apr 2020 10:21:50 +0000 (13:21 +0300)
seafile-server (and related packages): Update to 7.1.3


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