Merge pull request #11565 from jefferyto/seafile-7.1.2
authorHannu Nyman <hannu.nyman@iki.fi>
Mon, 16 Mar 2020 18:22:49 +0000 (20:22 +0200)
committerGitHub <noreply@github.com>
Mon, 16 Mar 2020 18:22:49 +0000 (20:22 +0200)
seafile-server: Update to 7.1.2, update dependencies


Trivial merge