Merge seafile-client (7.0.2-1) import into refs/heads/workingbranch
authorMoritz Schlarb <schlarbm@uni-mainz.de>
Tue, 8 Oct 2019 13:07:37 +0000 (14:07 +0100)
committerMoritz Schlarb <schlarbm@uni-mainz.de>
Tue, 8 Oct 2019 13:07:37 +0000 (14:07 +0100)

Trivial merge