[checkmk-commits] [Checkmk/checkmk] 4c2eaa: Make gui-crawler happy again