[checkmk-commits] 4036 Measurement of time used by Check_MK now includes time waited for agent