Merge pull request #11984 from commodo/fix-seafile
authorHannu Nyman <redacted>
Tue, 28 Apr 2020 13:48:31 +0000 (16:48 +0300)
committerGitHub <redacted>
Tue, 28 Apr 2020 13:48:31 +0000 (16:48 +0300)
 net: seafile-server: fix build


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