Hi Davit,
thanks for the update!
- WIll there be a patch script for existing installations?
- And by the way, you might want to update the docs here:
https://gluu.org/docs/casa/installation/installation/#debian-9-stretch
The "stretch" section shows the "jessie" commands. That could lead to some confusion for unexperienced users :)
Thanks,
Thomas