[checkmk-commits] 3984 Permissions can now be filtered by providing a search term on the " edit role" page