Cluster restart

Dear customers, We have applied a hotfix to the servers aimed at preventing the node deaths that have been occuring since the release of the new patch today. This hotfix was applied during the restart 10 minutes ago.