[checkmk-commits] [tribe29/checkmk] f73998: fix: add forgotten ;