[checkmk-commits] [tribe29/checkmk] d30493: Fix a file header which was missed during merging ...