[checkmk-commits] Check_MK Git: check_mk: Hosttags and auxiliary tags can now be grouped in topics