[checkmk-commits] [tribe29/checkmk] 3d3733: Fix another f12 make target