[checkmk-commits] [tribe29/checkmk] bd5ea2: Tiny updates from freshly re-generated headers.