Merge pull request #11807 from jefferyto/seafile-7.1.3
authorHannu Nyman <hannu.nyman@iki.fi>
Wed, 8 Apr 2020 10:21:50 +0000 (13:21 +0300)
committerGitHub <noreply@github.com>
Wed, 8 Apr 2020 10:21:50 +0000 (13:21 +0300)
commit97572b67167fbab6f8feb18d36ecf677cb3deaa7
tree98aa5bdeac0c462afee5af23f9c8bbe73b4186b0
parente3e464ed12e08195758f3329edd42cb2bf690df1
parent7328bcc15e823398773d337e1c2372610a9f6683
Merge pull request #11807 from jefferyto/seafile-7.1.3

seafile-server (and related packages): Update to 7.1.3