Werk #8872: Label filters: Add filter info to page title
| Component | User interface | ||||
| Title | Label filters: Add filter info to page title | ||||
| Date | Aug 22, 2019 | ||||
| Level | Trivial Change | ||||
| Class | Bug Fix | ||||
| Compatibility | Compatible - no manual interaction needed | ||||
| Checkmk versions & editions |
|