Merge pull request #13647 from jefferyto/seafile-server-7.1.5
authorRosen Penev <rosenp@gmail.com>
Tue, 13 Oct 2020 22:36:55 +0000 (15:36 -0700)
committerGitHub <noreply@github.com>
Tue, 13 Oct 2020 22:36:55 +0000 (15:36 -0700)
commitc1cec7b134b979c706d35cce6949dfe8be06ce5b
tree5b53894a179e13261156a4f1188453dfe95b79d4
parent89e47e937af8869d7b0a1c38ab2bde57d6aa3612
parentd1837599984484bbe1122096d508981962acc293
Merge pull request #13647 from jefferyto/seafile-server-7.1.5

seafile-server: Update to 7.1.5