Merge seafile-client (7.0.2-2) import into refs/heads/workingbranch
authorMoritz Schlarb <schlarbm@uni-mainz.de>
Wed, 30 Oct 2019 10:18:13 +0000 (10:18 +0000)
committerMoritz Schlarb <schlarbm@uni-mainz.de>
Wed, 30 Oct 2019 10:18:13 +0000 (10:18 +0000)

Trivial merge