[checkmk-commits] Check_MK Git: check_mk: Updated bug entries #0841, #0842, #0843