[checkmk-commits] additional update for #WK5251