[checkmk-commits] additional update for WK5238