Manual upgrade of pydio enterprise 8.0.1 to 8.0.2

Hi,

I have a pydio 8.0.1 enterprise distribution running on Ubuntu 16.04.3 LTS with nginx und php7.0-fpm.
Everything is fine, except that the contained Updater does not work with any of the available
proxy server. And there is no way around the existing proxies!
A command line upgrade seems to be the best option.

Any thoughts how this could be done?

I already tried the core upgrade package from here: https://update.pydio.com/pub/stable/
After copying over the existing installation, removing the CLEAN-FILES entries and clearing the cache,
everything looks fine. But it’s not the enterprise upgrade package (is there any ded. enterprise package???)
and I want to be sure that there no issues in the future.

Wouldn’t be the first time… :frowning:

Many thanks!

Florian