Merge pull request #11565 from jefferyto/seafile-7.1.2
authorHannu Nyman <redacted>
Mon, 16 Mar 2020 18:22:49 +0000 (20:22 +0200)
committerGitHub <redacted>
Mon, 16 Mar 2020 18:22:49 +0000 (20:22 +0200)
seafile-server: Update to 7.1.2, update dependencies


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