[checkmk-commits] Check_MK Git: check_mk: rpm/deb packages are not built during "make dist" anymore