Main Changes With Respect to the Previous Release
Changes to Public API
None.
Other Changes
- Allow message pop-up before stop for some detector partitions
(additional information in the corresponding Jira issue);
- Fixed issue with default ERS filters not properly loaded;
- Using the new implementation of the Resource Manager.
Fixed Issues in Jira
Documentation
Full documentation can be found here.