[ixpmanager] [RELEASE] V4.9.0 - Zend's dead, baby

[Barry O'Donovan]

Marco d'Itri wrote on 09/01/2019 07:52:
> Now I want to revise my report: the actual problem was that the tree
> drop down menus would not open.

I haven't come across this myself and we have no other reports. If it's 
reproducible please do file a bug. Most likely it was stale / cached CSS 
/ JS files and a forced reload would correct it.

  - Barry