NewFeatures:
–
BugFixes:
- Web License Manager: Improvement in the Web License Manager of the PowerSearch configuration. (PO)
- User specific settings (e.g., tab order): On update of user-specific data (like through changing the tab order), non-existent views will be removed to prevent the content from becoming unnecessarily large. (PO)
