Merge pull request #9052 from cotequeiroz/seafile-bump
authorRosen Penev <rosenp@gmail.com>
Thu, 23 May 2019 20:02:44 +0000 (13:02 -0700)
committerGitHub <noreply@github.com>
Thu, 23 May 2019 20:02:44 +0000 (13:02 -0700)
seafile-server: release bump due to libevhtp bump


Trivial merge