[checkmk-commits] Check_MK Git: check_mk: Removed bug entry for a bug that was not a bug