[checkmk-commits] Check_MK Git: check_mk: Updated bug entries #0817, #0818, #0819, #0820