Merge pull request #9328 from cotequeiroz/seahub-flup
authorJosef Schlehofer <pepe.schlehofer@gmail.com>
Thu, 27 Jun 2019 03:33:42 +0000 (05:33 +0200)
committerGitHub <noreply@github.com>
Thu, 27 Jun 2019 03:33:42 +0000 (05:33 +0200)
seafile-seahub: adjust to flup rename


Trivial merge