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)
commitee9cb3c81d34aa2f78b2ae4311a6a3f314e5af26
treebc77623907a6d3b9cdf09394665dda664e213c11
parent777c8a869db0905c6c7ff212e2980acd886d237b
parentcbfd166b15797e5a67e61340cf8ef7dd717e59d2
Merge pull request #11565 from jefferyto/seafile-7.1.2

seafile-server: Update to 7.1.2, update dependencies
git clone https://git.99rst.org/PROJECT