[checkmk-commits] 4022 Removed no longer supported (hidden) WATO feature: wato_hidden_users