[checkmk-commits] Check_MK Git: check_mk: #1392 WATO Folder filter: show only the paths a user is allowed to see